doxum 0.1.21 → 0.1.23

package/dist/{contract-CdmDHRUq.d.cts → contract-SYJFP0lM.d.cts}

@@ -1,4 +1,5 @@
-//#region core/src/schema-value.d.ts
+//#region core/src/schema.d.ts
+type DocumentAddress = readonly string[];
 /** Pure synchronous validation. Successful output is ignored; input is never transformed. */
 type Validator<T> = ((value: unknown) => T) | {
   readonly '~standard': {
@@ -21,32 +22,22 @@ type Validator<T> = ((value: unknown) => T) | {
     } | PromiseLike<unknown>;
   };
 };
-type ParseIssue = {
-  readonly address: DocumentAddress;
-  readonly code: 'invalid-value' | 'invalid-key' | 'missing-validator' | 'invalid-tree';
-  readonly message: string;
-};
-declare class ParseError extends TypeError {
-  readonly issues: readonly ParseIssue[];
-  constructor(issue: ParseIssue);
-}
-declare const parse: <N extends DocumentNode>(node: N, input: unknown) => Infer<N>;
-//#endregion
-//#region core/src/schema.d.ts
-type DocumentAddress = readonly string[];
 /** Shared payloads are immutable through every alias, including builtin methods. */
 type ReadonlyValue<T> = T extends ((...args: never[]) => unknown) ? T : T extends ReadonlyMap<infer K, infer V> ? ReadonlyMap<ReadonlyValue<K>, ReadonlyValue<V>> : T extends ReadonlySet<infer V> ? ReadonlySet<ReadonlyValue<V>> : T extends Date ? Omit<Date, `set${string}`> : T extends object ? { readonly [K in keyof T]: ReadonlyValue<T[K]> } : T;
 type DocumentListConfig<TItem> = {
   readonly keyOf: (item: ReadonlyValue<TItem>) => string;
 };
-type DocumentTreeNode<TValue> = {
+type DocumentTreeNode<TValue, ValueOptional extends boolean = false> = {
   readonly parentId?: string;
   readonly children: readonly string[];
+} & (ValueOptional extends true ? {
   readonly value?: ReadonlyValue<TValue>;
-};
-type DocumentTreeValue<TValue> = {
+} : {
+  readonly value: ReadonlyValue<TValue>;
+});
+type DocumentTreeValue<TValue, ValueOptional extends boolean = false> = {
   readonly rootId?: string;
-  readonly nodes: Readonly<Record<string, DocumentTreeNode<TValue>>>;
+  readonly nodes: Readonly<Record<string, DocumentTreeNode<TValue, ValueOptional>>>;
 };
 type BaseNode<K extends string> = {
   readonly kind: K;
@@ -89,10 +80,10 @@ type ListNode<TItem> = BaseNode<'list'> & {
   readonly value: FieldNode<TItem, false>;
   keyOf(item: ReadonlyValue<TItem>): string;
 };
-type TreeNode<TValue> = BaseNode<'tree'> & {
-  readonly value: FieldNode<TValue, boolean>;
+type TreeNode<TValue, ValueOptional extends boolean = false> = BaseNode<'tree'> & {
+  readonly value: FieldNode<TValue, ValueOptional>;
 };
-type DocumentNode = FieldNode<unknown, false> | FieldNode<unknown, true> | ObjectNode<ObjectShape> | VariantNode<string, VariantShape> | TableNode<ObjectNode<ObjectShape> | VariantNode<string, VariantShape>> | MapNode<ValueSchemaNode> | ListNode<unknown> | TreeNode<unknown>;
+type DocumentNode = FieldNode<unknown, false> | FieldNode<unknown, true> | ObjectNode<ObjectShape> | VariantNode<string, VariantShape> | TableNode<ObjectNode<ObjectShape> | VariantNode<string, VariantShape>> | MapNode<ValueSchemaNode> | ListNode<unknown> | TreeNode<unknown, false> | TreeNode<unknown, true>;
 type SchemaObject<T> = { [K in keyof T]: T[K] } & {};
 /** Infer a document or node value, including optional node presence. */
 type Infer<T extends DocumentNode> = T extends {
@@ -101,7 +92,7 @@ type Infer<T extends DocumentNode> = T extends {
 type NodeValue<N> = N extends FieldNode<infer T, infer O> ? O extends true ? ReadonlyValue<T> | undefined : ReadonlyValue<T> : N extends ObjectNode<infer S> ? ShapeValue<S> : N extends VariantNode<infer T, infer V> ? { [K in keyof V & string]: SchemaObject<{ readonly [P in T]: K } & NodeValue<V[K]>> }[keyof V & string] : N extends TableNode<infer V, infer K> ? {
   readonly ids: readonly K[];
   readonly byId: Readonly<Record<K, NodeValue<V>>>;
-} : N extends MapNode<infer V, infer K> ? Readonly<Record<K, NodeValue<V>>> : N extends ListNode<infer I> ? readonly ReadonlyValue<I>[] : N extends TreeNode<infer T> ? DocumentTreeValue<T> : never;
+} : N extends MapNode<infer V, infer K> ? Readonly<Record<K, NodeValue<V>>> : N extends ListNode<infer I> ? readonly ReadonlyValue<I>[] : N extends TreeNode<infer T, infer O> ? DocumentTreeValue<T, O> : never;
 type OptionalKeys<S extends ObjectShape> = { [K in keyof S]: S[K] extends {
   readonly optional: true;
 } ? K : never }[keyof S];
@@ -116,29 +107,8 @@ type DocumentAnchor<K extends string = string> = {
 } | {
   readonly after: K;
 };
-type CollectionSelector<TId extends string = string, TNode extends ValueSchemaNode = ValueSchemaNode> = {
-  readonly kind: 'collection';
-  readonly schema: ObjectNode;
-  readonly address: DocumentAddress;
-  readonly __id?: TId; /** Compile-time entry schema carried by schema selectors. */
-  readonly __node?: TNode;
-};
-type ValueSelector<TResult = unknown> = {
-  readonly kind: 'value';
-  readonly schema: ObjectNode;
-  readonly address: DocumentAddress;
-  readonly __value?: TResult;
-};
-type ImpactTarget<T = unknown> = {
-  readonly kind: 'value';
-  readonly at: DocumentAddress;
-} | ValueSelector<T> | {
-  readonly kind: 'collection';
-  readonly at: DocumentAddress;
-  readonly id?: string;
-} | CollectionSelector<string>;
 declare const pathValue: unique symbol;
-declare const collectionNode: unique symbol;
+declare const collectionEntry: unique symbol;
 declare const collectionKey: unique symbol;
 type PathMarker<TValue> = {
   readonly [pathValue]: TValue;
@@ -146,33 +116,44 @@ type PathMarker<TValue> = {
 type PathValueOf<T> = T extends {
   readonly [pathValue]: infer TValue;
 } ? TValue : never;
-type SchemaPathFor<S extends ObjectShape = ObjectShape, TValue = unknown> = { readonly [K in keyof S]: PathValue<S[K]> } & PathMarker<TValue>;
+type Or<A extends boolean, B extends boolean> = A extends true ? true : B;
+type NodeAbsent<N extends DocumentNode, ParentAbsent extends boolean> = Or<ParentAbsent, N extends {
+  readonly optional: true;
+} ? true : false>;
+type PathResult<N extends DocumentNode, ParentAbsent extends boolean> = Infer<N> | (ParentAbsent extends true ? undefined : never);
+type SchemaPathFor<S extends ObjectShape = ObjectShape, TValue = unknown, Absent extends boolean = false> = { readonly [K in keyof S]: PathValue<S[K], Absent> } & PathMarker<TValue | (Absent extends true ? undefined : never)>;
 type SchemaPath<S extends ObjectShape = ObjectShape> = SchemaPathFor<S, ShapeValue<S>>;
 type PathPick<S extends ObjectNode = ObjectNode> = (path: SchemaPath<S['shape']>) => PathMarker<unknown>;
 type VariantKeys<V extends VariantShape> = { [K in keyof V & string]: keyof (V[K] extends ObjectNode<infer S> ? S : {}) }[keyof V & string] & string;
-type VariantFieldPath<V extends VariantShape, K extends string> = { [P in keyof V & string]: V[P] extends ObjectNode<infer S> ? K extends keyof S ? PathValue<S[K]> : never : never }[keyof V & string];
-type VariantPath<T extends string, V extends VariantShape, TValue> = { readonly [K in VariantKeys<V>]: VariantFieldPath<V, K> } & { readonly [K in T]: PathMarker<keyof V & string> } & PathMarker<TValue>;
-type CollectionPath<N extends ValueSchemaNode = ValueSchemaNode, TValue = unknown, K extends string = string> = PathMarker<TValue> & {
-  item(id: K): PathValue<N>;
-  readonly [collectionNode]: N;
+type VariantFieldMissing<V extends VariantShape, K extends string> = { [P in keyof V & string]: V[P] extends ObjectNode<infer S> ? (K extends keyof S ? never : P) : P }[keyof V & string] extends never ? false : true;
+type VariantFieldPath<V extends VariantShape, K extends string, Absent extends boolean> = { [P in keyof V & string]: V[P] extends ObjectNode<infer S> ? K extends keyof S ? PathValue<S[K], Or<Absent, VariantFieldMissing<V, K>>> : never : never }[keyof V & string];
+type VariantPath<T extends string, V extends VariantShape, TValue, Absent extends boolean> = { readonly [K in VariantKeys<V>]: VariantFieldPath<V, K, Absent> } & { readonly [K in T]: PathMarker<(keyof V & string) | (Absent extends true ? undefined : never)> } & PathMarker<TValue>;
+type CollectionPath<K extends string = string, TValue = unknown, TEntry = unknown, TItem = PathMarker<TEntry | undefined>> = PathMarker<TValue> & {
+  item(id: K): TItem;
+  readonly [collectionEntry]: TEntry;
   readonly [collectionKey]: K;
 };
-type PathValue<N extends DocumentNode> = N extends ObjectNode<infer S> ? SchemaPathFor<S, Infer<N>> : N extends VariantNode<infer TTag, infer V> ? VariantPath<TTag, V, Infer<N>> : N extends TableNode<infer V, infer K> ? CollectionPath<V, Infer<N>, K> : N extends MapNode<infer V, infer K> ? CollectionPath<V, Infer<N>, K> : N extends ListNode<infer I> ? CollectionPath<FieldNode<I, false>, Infer<N>, string> : PathMarker<Infer<N>>;
+type TreeNodesPath<TValue, ValueOptional extends boolean> = CollectionPath<string, Readonly<Record<string, DocumentTreeNode<TValue, ValueOptional>>>, DocumentTreeNode<TValue, ValueOptional>, PathMarker<DocumentTreeNode<TValue, ValueOptional> | undefined>>;
+type TreePath<TValue, ValueOptional extends boolean, TValueResult> = PathMarker<TValueResult> & {
+  readonly rootId: PathMarker<string | undefined>;
+  readonly nodes: TreeNodesPath<TValue, ValueOptional>;
+};
+type PathValue<N extends DocumentNode, ParentAbsent extends boolean = false> = N extends ObjectNode<infer S> ? SchemaPathFor<S, PathResult<N, ParentAbsent>, NodeAbsent<N, ParentAbsent>> : N extends VariantNode<infer TTag, infer V> ? VariantPath<TTag, V, PathResult<N, ParentAbsent>, NodeAbsent<N, ParentAbsent>> : N extends TableNode<infer V, infer K> ? CollectionPath<K, PathResult<N, ParentAbsent>, Infer<V>, PathValue<V, true>> : N extends MapNode<infer V, infer K> ? CollectionPath<K, PathResult<N, ParentAbsent>, Infer<V>, PathValue<V, true>> : N extends ListNode<infer I> ? CollectionPath<string, PathResult<N, ParentAbsent>, ReadonlyValue<I>, PathMarker<ReadonlyValue<I> | undefined>> : N extends TreeNode<infer T, infer O> ? TreePath<T, O, PathResult<N, ParentAbsent>> : PathMarker<PathResult<N, ParentAbsent>>;
 type CollectionInfo<T> = T extends {
-  readonly [collectionNode]: infer TNode extends ValueSchemaNode;
+  readonly [collectionEntry]: infer TEntry;
   readonly [collectionKey]: infer K extends string;
 } ? {
   readonly id: K;
-  readonly node: TNode;
+  readonly entry: TEntry;
 } : never;
 type CollectionId<T> = CollectionInfo<T> extends {
   readonly id: infer TId extends string;
 } ? TId : string;
-type CollectionNode<T> = CollectionInfo<T> extends {
-  readonly node: infer TNode extends ValueSchemaNode;
-} ? TNode : ValueSchemaNode;
+type CollectionEntry<T> = CollectionInfo<T> extends {
+  readonly entry: infer TEntry;
+} ? TEntry : unknown;
 declare const field: <T>(validator?: Validator<T>) => FieldNode<T>;
-type OptionalLeaf = FieldNode<unknown, boolean> | VariantNode<string, VariantShape> | MapNode<ValueSchemaNode> | ListNode<unknown> | TreeNode<unknown>;
+type OptionalLeaf = FieldNode<unknown, boolean> | VariantNode<string, VariantShape> | MapNode<ValueSchemaNode> | ListNode<unknown> | TreeNode<unknown, false> | TreeNode<unknown, true>;
 declare const optional: <T extends OptionalLeaf>(value: T) => OptionalNode<T>;
 declare const object: <S extends ObjectShape>(shape: S) => ObjectNode<S>;
 declare const variant: <T extends string, V extends VariantShape>(tag: T, variants: V) => VariantNode<T, V>;
@@ -183,7 +164,19 @@ declare const map: <V extends ValueSchemaNode, K extends string = string>(value:
   readonly key: Validator<K>;
 }) => MapNode<V, K>;
 declare const list: <TItem>(value: FieldNode<TItem, false>, config: DocumentListConfig<TItem>) => ListNode<TItem>;
-declare const tree: <TValue>(value: FieldNode<TValue, boolean>) => TreeNode<TValue>;
+declare const tree: <TValue, ValueOptional extends boolean>(value: FieldNode<TValue, ValueOptional>) => TreeNode<TValue, ValueOptional>;
+//#endregion
+//#region core/src/schema/value.d.ts
+type ParseIssue = {
+  readonly address: DocumentAddress;
+  readonly code: 'invalid-value' | 'invalid-key' | 'missing-validator' | 'invalid-tree';
+  readonly message: string;
+};
+declare class ParseError extends TypeError {
+  readonly issues: readonly ParseIssue[];
+  constructor(issue: ParseIssue);
+}
+declare const parse: <N extends DocumentNode>(node: N, input: unknown) => Infer<N>;
 //#endregion
 //#region core/src/changes.d.ts
 type ValueTransition<T = unknown> = {
@@ -213,7 +206,7 @@ type Change = {
   readonly at: DocumentAddress;
   readonly before: string | null;
   readonly after: string | null;
-  readonly nodes: readonly (ValueTransition<DocumentTreeNode<unknown>> & {
+  readonly nodes: readonly (ValueTransition<DocumentTreeNode<unknown, false> | DocumentTreeNode<unknown, true>> & {
     readonly id: string;
   })[];
 } | {
@@ -226,24 +219,12 @@ type ChangeSet = {
   readonly changes: readonly Change[];
 };
 //#endregion
-//#region core/src/mutation/tree.d.ts
+//#region core/src/tree/topology.d.ts
 type TreePosition = {
   readonly parentId?: string;
   readonly index?: number;
 };
 //#endregion
-//#region core/src/address.d.ts
-/** The only resolved address representation used inside the runtime. */
-type AddressRef = {
-  readonly path: number;
-  readonly address: DocumentAddress;
-};
-declare const resolveAddress: (schema: ObjectNode, address: DocumentAddress, document?: unknown) => AddressRef | undefined;
-declare const read: (root: unknown, address: DocumentAddress, schema: DocumentNode) => unknown;
-declare const contains: (parent: DocumentAddress, child: DocumentAddress) => boolean;
-declare const overlaps: (a: DocumentAddress, b: DocumentAddress) => boolean;
-declare const debugKey: (address: DocumentAddress) => string;
-//#endregion
 //#region core/src/access/scope.d.ts
 declare const scopeValue: unique symbol;
 type Scoped<N extends DocumentNode, W extends boolean, V = Infer<N>> = {
@@ -290,20 +271,20 @@ type ListAccess<T, W extends boolean> = {
   replace(value: readonly ReadonlyValue<T>[]): void;
   replace(key: string, value: ReadonlyValue<T>): void;
 } : {});
-type TreeAccess<T, W extends boolean> = {
+type TreeAccess<T, O extends boolean, W extends boolean> = {
   rootId(): string | undefined;
   get(id: string): ReadonlyValue<T> | undefined;
   has(id: string): boolean;
   parent(id: string): string | undefined;
   children(id: string): readonly string[] | undefined;
 } & (W extends true ? {
-  insert(id: string, value: ReadonlyValue<T>, position?: TreePosition): void;
+  insert(id: string, value: O extends true ? ReadonlyValue<T> | undefined : ReadonlyValue<T>, position?: TreePosition): void;
   move(id: string, position?: TreePosition): void;
   remove(id: string): void;
-  replace(value: DocumentTreeValue<T>): void;
-  replace(id: string, value: ReadonlyValue<T>): void;
+  replace(value: DocumentTreeValue<T, O>): void;
+  replace(id: string, value: O extends true ? ReadonlyValue<T> | undefined : ReadonlyValue<T>): void;
 } : {});
-type NodeAccess<N extends DocumentNode, W extends boolean> = N extends FieldNode<infer T, boolean> ? ReadonlyValue<T> : N extends ObjectNode<infer S> ? ShapeAccess<S, W> & Scoped<N, W> : N extends VariantNode<infer Tag, infer V> ? { [K in keyof V & string]: ShapeAccess<V[K]['shape'], W> & { readonly [P in Tag]: K } & Scoped<N, W, Extract<Infer<N>, Record<Tag, K>>> }[keyof V & string] : N extends MapNode<infer V, infer K> ? MapAccess<K, V, W> & Scoped<N, W> : N extends TableNode<infer V, infer K> ? TableAccess<K, V, W> & Scoped<N, W> : N extends ListNode<infer T> ? ListAccess<T, W> & Scoped<N, W> : N extends TreeNode<infer T> ? TreeAccess<T, W> & Scoped<N, W> : never;
+type NodeAccess<N extends DocumentNode, W extends boolean> = N extends FieldNode<infer T, boolean> ? ReadonlyValue<T> : N extends ObjectNode<infer S> ? ShapeAccess<S, W> & Scoped<N, W> : N extends VariantNode<infer Tag, infer V> ? { [K in keyof V & string]: ShapeAccess<V[K]['shape'], W> & { readonly [P in Tag]: K } & Scoped<N, W, Extract<Infer<N>, Record<Tag, K>>> }[keyof V & string] : N extends MapNode<infer V, infer K> ? MapAccess<K, V, W> & Scoped<N, W> : N extends TableNode<infer V, infer K> ? TableAccess<K, V, W> & Scoped<N, W> : N extends ListNode<infer T> ? ListAccess<T, W> & Scoped<N, W> : N extends TreeNode<infer T, infer O> ? TreeAccess<T, O, W> & Scoped<N, W> : never;
 type Access<N extends DocumentNode, W extends boolean> = N extends {
   readonly optional: true;
 } ? NodeAccess<N, W> | undefined : NodeAccess<N, W>;
@@ -346,7 +327,8 @@ type MutationIssue = {
   readonly message: string;
 };
 //#endregion
-//#region core/src/projection/readable.d.ts
+//#region core/src/readable.d.ts
+type Unsubscribe = () => void;
 type Readable<TValue> = {
   current(): TValue;
   revision(): number;
@@ -354,7 +336,6 @@ type Readable<TValue> = {
 };
 //#endregion
 //#region core/src/runtime/contract.d.ts
-type Unsubscribe = () => void;
 type Synchronous<T> = T extends PromiseLike<unknown> ? never : T;
 type CommitSource = 'local' | 'system' | 'history' | 'remote';
 declare class DocumentReentrancyError extends Error {
@@ -427,13 +408,6 @@ type LocalHistory<C> = Readable<HistoryState> & {
 };
 type CommitListener<S extends ObjectNode> = (commit: DocumentCommit<S>) => void;
 type DocumentReadable<S extends ObjectNode> = {
-  readonly address: {
-    resolve(address: DocumentAddress): AddressRef | undefined;
-    read(address: DocumentAddress): unknown;
-    contains(parent: DocumentAddress, child: DocumentAddress): boolean;
-    overlaps(left: DocumentAddress, right: DocumentAddress): boolean;
-    debugKey(address: DocumentAddress): string;
-  };
   revision(): number;
   subscribe(listener: CommitListener<S>): Unsubscribe;
   subscribe(pick: PathPick<S> | readonly [PathPick<S>, ...PathPick<S>[]], listener: CommitListener<S>): Unsubscribe;
@@ -457,5 +431,5 @@ type DocumentRuntime<S extends ObjectNode> = DocumentReadable<S> & {
   dispose(): void;
 };
 //#endregion
-export { OptionalNode as $, overlaps as A, DocumentAddress as B, Draft as C, AddressRef as D, snapshot as E, MemberChange as F, DocumentTreeValue as G, DocumentListConfig as H, ValueTransition as I, Infer as J, FieldNode as K, CollectionId as L, resolveAddress as M, Change as N, contains as O, ChangeSet as P, ObjectShape as Q, CollectionNode as R, DocumentImpact as S, replace as T, DocumentNode as U, DocumentAnchor as V, DocumentTreeNode as W, MapNode as X, ListNode as Y, ObjectNode as Z, Unsubscribe as _, Validator as _t, DocumentDisposedError as a, VariantNode as at, MutationIssueCode as b, DocumentReentrancyError as c, list as ct, LocalHistory as d, optional as dt, PathValueOf as et, ObserverError as f, table as ft, TransactionResult as g, ParseIssue as gt, TransactionRejected as h, ParseError as ht, DocumentDiagnostic as i, TreeNode as it, read as j, debugKey as k, DocumentRuntime as l, map as lt, Synchronous as m, variant as mt, CommitSource as n, SchemaPath as nt, DocumentProblem as o, VariantShape as ot, OperationResult as p, tree as pt, ImpactTarget as q, DocumentCommit as r, TableNode as rt, DocumentReadable as s, field as st, CommitListener as t, ReadonlyValue as tt, HistoryState as u, object as ut, Readable as v, parse as vt, Read as w, CollectionImpact as x, MutationIssue as y, CollectionPath as z };
-//# sourceMappingURL=contract-CdmDHRUq.d.cts.map
+export { TreeNode as $, ParseError as A, DocumentTreeNode as B, Read as C, ChangeSet as D, Change as E, CollectionPath as F, MapNode as G, FieldNode as H, DocumentAddress as I, OptionalNode as J, ObjectNode as K, DocumentAnchor as L, parse as M, CollectionEntry as N, MemberChange as O, CollectionId as P, TableNode as Q, DocumentListConfig as R, Draft as S, snapshot as T, Infer as U, DocumentTreeValue as V, ListNode as W, ReadonlyValue as X, PathValueOf as Y, SchemaPath as Z, Unsubscribe as _, DocumentProblem as a, map as at, CollectionImpact as b, DocumentRuntime as c, table as ct, ObserverError as d, Validator as et, OperationResult as f, Readable as g, TransactionResult as h, DocumentDisposedError as i, list as it, ParseIssue as j, ValueTransition as k, HistoryState as l, tree as lt, TransactionRejected as m, DocumentCommit as n, VariantShape as nt, DocumentReadable as o, object as ot, Synchronous as p, ObjectShape as q, DocumentDiagnostic as r, field as rt, DocumentReentrancyError as s, optional as st, CommitSource as t, VariantNode as tt, LocalHistory as u, variant as ut, MutationIssue as v, replace as w, DocumentImpact as x, MutationIssueCode as y, DocumentNode as z };
+//# sourceMappingURL=contract-SYJFP0lM.d.cts.map

package/dist/{contract-KG5XnQZt.d.ts → contract-ULPQmiEs.d.ts}

@@ -1,4 +1,5 @@
-//#region core/src/schema-value.d.ts
+//#region core/src/schema.d.ts
+type DocumentAddress = readonly string[];
 /** Pure synchronous validation. Successful output is ignored; input is never transformed. */
 type Validator<T> = ((value: unknown) => T) | {
   readonly '~standard': {
@@ -21,32 +22,22 @@ type Validator<T> = ((value: unknown) => T) | {
     } | PromiseLike<unknown>;
   };
 };
-type ParseIssue = {
-  readonly address: DocumentAddress;
-  readonly code: 'invalid-value' | 'invalid-key' | 'missing-validator' | 'invalid-tree';
-  readonly message: string;
-};
-declare class ParseError extends TypeError {
-  readonly issues: readonly ParseIssue[];
-  constructor(issue: ParseIssue);
-}
-declare const parse: <N extends DocumentNode>(node: N, input: unknown) => Infer<N>;
-//#endregion
-//#region core/src/schema.d.ts
-type DocumentAddress = readonly string[];
 /** Shared payloads are immutable through every alias, including builtin methods. */
 type ReadonlyValue<T> = T extends ((...args: never[]) => unknown) ? T : T extends ReadonlyMap<infer K, infer V> ? ReadonlyMap<ReadonlyValue<K>, ReadonlyValue<V>> : T extends ReadonlySet<infer V> ? ReadonlySet<ReadonlyValue<V>> : T extends Date ? Omit<Date, `set${string}`> : T extends object ? { readonly [K in keyof T]: ReadonlyValue<T[K]> } : T;
 type DocumentListConfig<TItem> = {
   readonly keyOf: (item: ReadonlyValue<TItem>) => string;
 };
-type DocumentTreeNode<TValue> = {
+type DocumentTreeNode<TValue, ValueOptional extends boolean = false> = {
   readonly parentId?: string;
   readonly children: readonly string[];
+} & (ValueOptional extends true ? {
   readonly value?: ReadonlyValue<TValue>;
-};
-type DocumentTreeValue<TValue> = {
+} : {
+  readonly value: ReadonlyValue<TValue>;
+});
+type DocumentTreeValue<TValue, ValueOptional extends boolean = false> = {
   readonly rootId?: string;
-  readonly nodes: Readonly<Record<string, DocumentTreeNode<TValue>>>;
+  readonly nodes: Readonly<Record<string, DocumentTreeNode<TValue, ValueOptional>>>;
 };
 type BaseNode<K extends string> = {
   readonly kind: K;
@@ -89,10 +80,10 @@ type ListNode<TItem> = BaseNode<'list'> & {
   readonly value: FieldNode<TItem, false>;
   keyOf(item: ReadonlyValue<TItem>): string;
 };
-type TreeNode<TValue> = BaseNode<'tree'> & {
-  readonly value: FieldNode<TValue, boolean>;
+type TreeNode<TValue, ValueOptional extends boolean = false> = BaseNode<'tree'> & {
+  readonly value: FieldNode<TValue, ValueOptional>;
 };
-type DocumentNode = FieldNode<unknown, false> | FieldNode<unknown, true> | ObjectNode<ObjectShape> | VariantNode<string, VariantShape> | TableNode<ObjectNode<ObjectShape> | VariantNode<string, VariantShape>> | MapNode<ValueSchemaNode> | ListNode<unknown> | TreeNode<unknown>;
+type DocumentNode = FieldNode<unknown, false> | FieldNode<unknown, true> | ObjectNode<ObjectShape> | VariantNode<string, VariantShape> | TableNode<ObjectNode<ObjectShape> | VariantNode<string, VariantShape>> | MapNode<ValueSchemaNode> | ListNode<unknown> | TreeNode<unknown, false> | TreeNode<unknown, true>;
 type SchemaObject<T> = { [K in keyof T]: T[K] } & {};
 /** Infer a document or node value, including optional node presence. */
 type Infer<T extends DocumentNode> = T extends {
@@ -101,7 +92,7 @@ type Infer<T extends DocumentNode> = T extends {
 type NodeValue<N> = N extends FieldNode<infer T, infer O> ? O extends true ? ReadonlyValue<T> | undefined : ReadonlyValue<T> : N extends ObjectNode<infer S> ? ShapeValue<S> : N extends VariantNode<infer T, infer V> ? { [K in keyof V & string]: SchemaObject<{ readonly [P in T]: K } & NodeValue<V[K]>> }[keyof V & string] : N extends TableNode<infer V, infer K> ? {
   readonly ids: readonly K[];
   readonly byId: Readonly<Record<K, NodeValue<V>>>;
-} : N extends MapNode<infer V, infer K> ? Readonly<Record<K, NodeValue<V>>> : N extends ListNode<infer I> ? readonly ReadonlyValue<I>[] : N extends TreeNode<infer T> ? DocumentTreeValue<T> : never;
+} : N extends MapNode<infer V, infer K> ? Readonly<Record<K, NodeValue<V>>> : N extends ListNode<infer I> ? readonly ReadonlyValue<I>[] : N extends TreeNode<infer T, infer O> ? DocumentTreeValue<T, O> : never;
 type OptionalKeys<S extends ObjectShape> = { [K in keyof S]: S[K] extends {
   readonly optional: true;
 } ? K : never }[keyof S];
@@ -116,29 +107,8 @@ type DocumentAnchor<K extends string = string> = {
 } | {
   readonly after: K;
 };
-type CollectionSelector<TId extends string = string, TNode extends ValueSchemaNode = ValueSchemaNode> = {
-  readonly kind: 'collection';
-  readonly schema: ObjectNode;
-  readonly address: DocumentAddress;
-  readonly __id?: TId; /** Compile-time entry schema carried by schema selectors. */
-  readonly __node?: TNode;
-};
-type ValueSelector<TResult = unknown> = {
-  readonly kind: 'value';
-  readonly schema: ObjectNode;
-  readonly address: DocumentAddress;
-  readonly __value?: TResult;
-};
-type ImpactTarget<T = unknown> = {
-  readonly kind: 'value';
-  readonly at: DocumentAddress;
-} | ValueSelector<T> | {
-  readonly kind: 'collection';
-  readonly at: DocumentAddress;
-  readonly id?: string;
-} | CollectionSelector<string>;
 declare const pathValue: unique symbol;
-declare const collectionNode: unique symbol;
+declare const collectionEntry: unique symbol;
 declare const collectionKey: unique symbol;
 type PathMarker<TValue> = {
   readonly [pathValue]: TValue;
@@ -146,33 +116,44 @@ type PathMarker<TValue> = {
 type PathValueOf<T> = T extends {
   readonly [pathValue]: infer TValue;
 } ? TValue : never;
-type SchemaPathFor<S extends ObjectShape = ObjectShape, TValue = unknown> = { readonly [K in keyof S]: PathValue<S[K]> } & PathMarker<TValue>;
+type Or<A extends boolean, B extends boolean> = A extends true ? true : B;
+type NodeAbsent<N extends DocumentNode, ParentAbsent extends boolean> = Or<ParentAbsent, N extends {
+  readonly optional: true;
+} ? true : false>;
+type PathResult<N extends DocumentNode, ParentAbsent extends boolean> = Infer<N> | (ParentAbsent extends true ? undefined : never);
+type SchemaPathFor<S extends ObjectShape = ObjectShape, TValue = unknown, Absent extends boolean = false> = { readonly [K in keyof S]: PathValue<S[K], Absent> } & PathMarker<TValue | (Absent extends true ? undefined : never)>;
 type SchemaPath<S extends ObjectShape = ObjectShape> = SchemaPathFor<S, ShapeValue<S>>;
 type PathPick<S extends ObjectNode = ObjectNode> = (path: SchemaPath<S['shape']>) => PathMarker<unknown>;
 type VariantKeys<V extends VariantShape> = { [K in keyof V & string]: keyof (V[K] extends ObjectNode<infer S> ? S : {}) }[keyof V & string] & string;
-type VariantFieldPath<V extends VariantShape, K extends string> = { [P in keyof V & string]: V[P] extends ObjectNode<infer S> ? K extends keyof S ? PathValue<S[K]> : never : never }[keyof V & string];
-type VariantPath<T extends string, V extends VariantShape, TValue> = { readonly [K in VariantKeys<V>]: VariantFieldPath<V, K> } & { readonly [K in T]: PathMarker<keyof V & string> } & PathMarker<TValue>;
-type CollectionPath<N extends ValueSchemaNode = ValueSchemaNode, TValue = unknown, K extends string = string> = PathMarker<TValue> & {
-  item(id: K): PathValue<N>;
-  readonly [collectionNode]: N;
+type VariantFieldMissing<V extends VariantShape, K extends string> = { [P in keyof V & string]: V[P] extends ObjectNode<infer S> ? (K extends keyof S ? never : P) : P }[keyof V & string] extends never ? false : true;
+type VariantFieldPath<V extends VariantShape, K extends string, Absent extends boolean> = { [P in keyof V & string]: V[P] extends ObjectNode<infer S> ? K extends keyof S ? PathValue<S[K], Or<Absent, VariantFieldMissing<V, K>>> : never : never }[keyof V & string];
+type VariantPath<T extends string, V extends VariantShape, TValue, Absent extends boolean> = { readonly [K in VariantKeys<V>]: VariantFieldPath<V, K, Absent> } & { readonly [K in T]: PathMarker<(keyof V & string) | (Absent extends true ? undefined : never)> } & PathMarker<TValue>;
+type CollectionPath<K extends string = string, TValue = unknown, TEntry = unknown, TItem = PathMarker<TEntry | undefined>> = PathMarker<TValue> & {
+  item(id: K): TItem;
+  readonly [collectionEntry]: TEntry;
   readonly [collectionKey]: K;
 };
-type PathValue<N extends DocumentNode> = N extends ObjectNode<infer S> ? SchemaPathFor<S, Infer<N>> : N extends VariantNode<infer TTag, infer V> ? VariantPath<TTag, V, Infer<N>> : N extends TableNode<infer V, infer K> ? CollectionPath<V, Infer<N>, K> : N extends MapNode<infer V, infer K> ? CollectionPath<V, Infer<N>, K> : N extends ListNode<infer I> ? CollectionPath<FieldNode<I, false>, Infer<N>, string> : PathMarker<Infer<N>>;
+type TreeNodesPath<TValue, ValueOptional extends boolean> = CollectionPath<string, Readonly<Record<string, DocumentTreeNode<TValue, ValueOptional>>>, DocumentTreeNode<TValue, ValueOptional>, PathMarker<DocumentTreeNode<TValue, ValueOptional> | undefined>>;
+type TreePath<TValue, ValueOptional extends boolean, TValueResult> = PathMarker<TValueResult> & {
+  readonly rootId: PathMarker<string | undefined>;
+  readonly nodes: TreeNodesPath<TValue, ValueOptional>;
+};
+type PathValue<N extends DocumentNode, ParentAbsent extends boolean = false> = N extends ObjectNode<infer S> ? SchemaPathFor<S, PathResult<N, ParentAbsent>, NodeAbsent<N, ParentAbsent>> : N extends VariantNode<infer TTag, infer V> ? VariantPath<TTag, V, PathResult<N, ParentAbsent>, NodeAbsent<N, ParentAbsent>> : N extends TableNode<infer V, infer K> ? CollectionPath<K, PathResult<N, ParentAbsent>, Infer<V>, PathValue<V, true>> : N extends MapNode<infer V, infer K> ? CollectionPath<K, PathResult<N, ParentAbsent>, Infer<V>, PathValue<V, true>> : N extends ListNode<infer I> ? CollectionPath<string, PathResult<N, ParentAbsent>, ReadonlyValue<I>, PathMarker<ReadonlyValue<I> | undefined>> : N extends TreeNode<infer T, infer O> ? TreePath<T, O, PathResult<N, ParentAbsent>> : PathMarker<PathResult<N, ParentAbsent>>;
 type CollectionInfo<T> = T extends {
-  readonly [collectionNode]: infer TNode extends ValueSchemaNode;
+  readonly [collectionEntry]: infer TEntry;
   readonly [collectionKey]: infer K extends string;
 } ? {
   readonly id: K;
-  readonly node: TNode;
+  readonly entry: TEntry;
 } : never;
 type CollectionId<T> = CollectionInfo<T> extends {
   readonly id: infer TId extends string;
 } ? TId : string;
-type CollectionNode<T> = CollectionInfo<T> extends {
-  readonly node: infer TNode extends ValueSchemaNode;
-} ? TNode : ValueSchemaNode;
+type CollectionEntry<T> = CollectionInfo<T> extends {
+  readonly entry: infer TEntry;
+} ? TEntry : unknown;
 declare const field: <T>(validator?: Validator<T>) => FieldNode<T>;
-type OptionalLeaf = FieldNode<unknown, boolean> | VariantNode<string, VariantShape> | MapNode<ValueSchemaNode> | ListNode<unknown> | TreeNode<unknown>;
+type OptionalLeaf = FieldNode<unknown, boolean> | VariantNode<string, VariantShape> | MapNode<ValueSchemaNode> | ListNode<unknown> | TreeNode<unknown, false> | TreeNode<unknown, true>;
 declare const optional: <T extends OptionalLeaf>(value: T) => OptionalNode<T>;
 declare const object: <S extends ObjectShape>(shape: S) => ObjectNode<S>;
 declare const variant: <T extends string, V extends VariantShape>(tag: T, variants: V) => VariantNode<T, V>;
@@ -183,7 +164,19 @@ declare const map: <V extends ValueSchemaNode, K extends string = string>(value:
   readonly key: Validator<K>;
 }) => MapNode<V, K>;
 declare const list: <TItem>(value: FieldNode<TItem, false>, config: DocumentListConfig<TItem>) => ListNode<TItem>;
-declare const tree: <TValue>(value: FieldNode<TValue, boolean>) => TreeNode<TValue>;
+declare const tree: <TValue, ValueOptional extends boolean>(value: FieldNode<TValue, ValueOptional>) => TreeNode<TValue, ValueOptional>;
+//#endregion
+//#region core/src/schema/value.d.ts
+type ParseIssue = {
+  readonly address: DocumentAddress;
+  readonly code: 'invalid-value' | 'invalid-key' | 'missing-validator' | 'invalid-tree';
+  readonly message: string;
+};
+declare class ParseError extends TypeError {
+  readonly issues: readonly ParseIssue[];
+  constructor(issue: ParseIssue);
+}
+declare const parse: <N extends DocumentNode>(node: N, input: unknown) => Infer<N>;
 //#endregion
 //#region core/src/changes.d.ts
 type ValueTransition<T = unknown> = {
@@ -213,7 +206,7 @@ type Change = {
   readonly at: DocumentAddress;
   readonly before: string | null;
   readonly after: string | null;
-  readonly nodes: readonly (ValueTransition<DocumentTreeNode<unknown>> & {
+  readonly nodes: readonly (ValueTransition<DocumentTreeNode<unknown, false> | DocumentTreeNode<unknown, true>> & {
     readonly id: string;
   })[];
 } | {
@@ -226,24 +219,12 @@ type ChangeSet = {
   readonly changes: readonly Change[];
 };
 //#endregion
-//#region core/src/mutation/tree.d.ts
+//#region core/src/tree/topology.d.ts
 type TreePosition = {
   readonly parentId?: string;
   readonly index?: number;
 };
 //#endregion
-//#region core/src/address.d.ts
-/** The only resolved address representation used inside the runtime. */
-type AddressRef = {
-  readonly path: number;
-  readonly address: DocumentAddress;
-};
-declare const resolveAddress: (schema: ObjectNode, address: DocumentAddress, document?: unknown) => AddressRef | undefined;
-declare const read: (root: unknown, address: DocumentAddress, schema: DocumentNode) => unknown;
-declare const contains: (parent: DocumentAddress, child: DocumentAddress) => boolean;
-declare const overlaps: (a: DocumentAddress, b: DocumentAddress) => boolean;
-declare const debugKey: (address: DocumentAddress) => string;
-//#endregion
 //#region core/src/access/scope.d.ts
 declare const scopeValue: unique symbol;
 type Scoped<N extends DocumentNode, W extends boolean, V = Infer<N>> = {
@@ -290,20 +271,20 @@ type ListAccess<T, W extends boolean> = {
   replace(value: readonly ReadonlyValue<T>[]): void;
   replace(key: string, value: ReadonlyValue<T>): void;
 } : {});
-type TreeAccess<T, W extends boolean> = {
+type TreeAccess<T, O extends boolean, W extends boolean> = {
   rootId(): string | undefined;
   get(id: string): ReadonlyValue<T> | undefined;
   has(id: string): boolean;
   parent(id: string): string | undefined;
   children(id: string): readonly string[] | undefined;
 } & (W extends true ? {
-  insert(id: string, value: ReadonlyValue<T>, position?: TreePosition): void;
+  insert(id: string, value: O extends true ? ReadonlyValue<T> | undefined : ReadonlyValue<T>, position?: TreePosition): void;
   move(id: string, position?: TreePosition): void;
   remove(id: string): void;
-  replace(value: DocumentTreeValue<T>): void;
-  replace(id: string, value: ReadonlyValue<T>): void;
+  replace(value: DocumentTreeValue<T, O>): void;
+  replace(id: string, value: O extends true ? ReadonlyValue<T> | undefined : ReadonlyValue<T>): void;
 } : {});
-type NodeAccess<N extends DocumentNode, W extends boolean> = N extends FieldNode<infer T, boolean> ? ReadonlyValue<T> : N extends ObjectNode<infer S> ? ShapeAccess<S, W> & Scoped<N, W> : N extends VariantNode<infer Tag, infer V> ? { [K in keyof V & string]: ShapeAccess<V[K]['shape'], W> & { readonly [P in Tag]: K } & Scoped<N, W, Extract<Infer<N>, Record<Tag, K>>> }[keyof V & string] : N extends MapNode<infer V, infer K> ? MapAccess<K, V, W> & Scoped<N, W> : N extends TableNode<infer V, infer K> ? TableAccess<K, V, W> & Scoped<N, W> : N extends ListNode<infer T> ? ListAccess<T, W> & Scoped<N, W> : N extends TreeNode<infer T> ? TreeAccess<T, W> & Scoped<N, W> : never;
+type NodeAccess<N extends DocumentNode, W extends boolean> = N extends FieldNode<infer T, boolean> ? ReadonlyValue<T> : N extends ObjectNode<infer S> ? ShapeAccess<S, W> & Scoped<N, W> : N extends VariantNode<infer Tag, infer V> ? { [K in keyof V & string]: ShapeAccess<V[K]['shape'], W> & { readonly [P in Tag]: K } & Scoped<N, W, Extract<Infer<N>, Record<Tag, K>>> }[keyof V & string] : N extends MapNode<infer V, infer K> ? MapAccess<K, V, W> & Scoped<N, W> : N extends TableNode<infer V, infer K> ? TableAccess<K, V, W> & Scoped<N, W> : N extends ListNode<infer T> ? ListAccess<T, W> & Scoped<N, W> : N extends TreeNode<infer T, infer O> ? TreeAccess<T, O, W> & Scoped<N, W> : never;
 type Access<N extends DocumentNode, W extends boolean> = N extends {
   readonly optional: true;
 } ? NodeAccess<N, W> | undefined : NodeAccess<N, W>;
@@ -346,7 +327,8 @@ type MutationIssue = {
   readonly message: string;
 };
 //#endregion
-//#region core/src/projection/readable.d.ts
+//#region core/src/readable.d.ts
+type Unsubscribe = () => void;
 type Readable<TValue> = {
   current(): TValue;
   revision(): number;
@@ -354,7 +336,6 @@ type Readable<TValue> = {
 };
 //#endregion
 //#region core/src/runtime/contract.d.ts
-type Unsubscribe = () => void;
 type Synchronous<T> = T extends PromiseLike<unknown> ? never : T;
 type CommitSource = 'local' | 'system' | 'history' | 'remote';
 declare class DocumentReentrancyError extends Error {
@@ -427,13 +408,6 @@ type LocalHistory<C> = Readable<HistoryState> & {
 };
 type CommitListener<S extends ObjectNode> = (commit: DocumentCommit<S>) => void;
 type DocumentReadable<S extends ObjectNode> = {
-  readonly address: {
-    resolve(address: DocumentAddress): AddressRef | undefined;
-    read(address: DocumentAddress): unknown;
-    contains(parent: DocumentAddress, child: DocumentAddress): boolean;
-    overlaps(left: DocumentAddress, right: DocumentAddress): boolean;
-    debugKey(address: DocumentAddress): string;
-  };
   revision(): number;
   subscribe(listener: CommitListener<S>): Unsubscribe;
   subscribe(pick: PathPick<S> | readonly [PathPick<S>, ...PathPick<S>[]], listener: CommitListener<S>): Unsubscribe;
@@ -457,5 +431,5 @@ type DocumentRuntime<S extends ObjectNode> = DocumentReadable<S> & {
   dispose(): void;
 };
 //#endregion
-export { OptionalNode as $, overlaps as A, DocumentAddress as B, Draft as C, AddressRef as D, snapshot as E, MemberChange as F, DocumentTreeValue as G, DocumentListConfig as H, ValueTransition as I, Infer as J, FieldNode as K, CollectionId as L, resolveAddress as M, Change as N, contains as O, ChangeSet as P, ObjectShape as Q, CollectionNode as R, DocumentImpact as S, replace as T, DocumentNode as U, DocumentAnchor as V, DocumentTreeNode as W, MapNode as X, ListNode as Y, ObjectNode as Z, Unsubscribe as _, Validator as _t, DocumentDisposedError as a, VariantNode as at, MutationIssueCode as b, DocumentReentrancyError as c, list as ct, LocalHistory as d, optional as dt, PathValueOf as et, ObserverError as f, table as ft, TransactionResult as g, ParseIssue as gt, TransactionRejected as h, ParseError as ht, DocumentDiagnostic as i, TreeNode as it, read as j, debugKey as k, DocumentRuntime as l, map as lt, Synchronous as m, variant as mt, CommitSource as n, SchemaPath as nt, DocumentProblem as o, VariantShape as ot, OperationResult as p, tree as pt, ImpactTarget as q, DocumentCommit as r, TableNode as rt, DocumentReadable as s, field as st, CommitListener as t, ReadonlyValue as tt, HistoryState as u, object as ut, Readable as v, parse as vt, Read as w, CollectionImpact as x, MutationIssue as y, CollectionPath as z };
-//# sourceMappingURL=contract-KG5XnQZt.d.ts.map
+export { TreeNode as $, ParseError as A, DocumentTreeNode as B, Read as C, ChangeSet as D, Change as E, CollectionPath as F, MapNode as G, FieldNode as H, DocumentAddress as I, OptionalNode as J, ObjectNode as K, DocumentAnchor as L, parse as M, CollectionEntry as N, MemberChange as O, CollectionId as P, TableNode as Q, DocumentListConfig as R, Draft as S, snapshot as T, Infer as U, DocumentTreeValue as V, ListNode as W, ReadonlyValue as X, PathValueOf as Y, SchemaPath as Z, Unsubscribe as _, DocumentProblem as a, map as at, CollectionImpact as b, DocumentRuntime as c, table as ct, ObserverError as d, Validator as et, OperationResult as f, Readable as g, TransactionResult as h, DocumentDisposedError as i, list as it, ParseIssue as j, ValueTransition as k, HistoryState as l, tree as lt, TransactionRejected as m, DocumentCommit as n, VariantShape as nt, DocumentReadable as o, object as ot, Synchronous as p, ObjectShape as q, DocumentDiagnostic as r, field as rt, DocumentReentrancyError as s, optional as st, CommitSource as t, VariantNode as tt, LocalHistory as u, variant as ut, MutationIssue as v, replace as w, DocumentImpact as x, MutationIssueCode as y, DocumentNode as z };
+//# sourceMappingURL=contract-ULPQmiEs.d.ts.map