@xmachines/docs 6.1.0 → 8.0.0-next.1

package/api/@xmachines/play-view/README.md

@@ -4,7 +4,7 @@
 
 The shared view half of every renderer of the XMachines Play Architecture.
 
-[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![Version](https://img.shields.io/badge/version-6.1.0-blue)](https://www.npmjs.com/package/@xmachines/play-view)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![Version](https://img.shields.io/badge/version-8.0.0--next.1-blue)](https://www.npmjs.com/package/@xmachines/play-view)
 
 ## Installation
 
@@ -15,9 +15,11 @@ pnpm add @xmachines/play-view
 **Peer dependencies.** Install them with the package:
 
 ```bash
-pnpm add @xmachines/core @xmachines/json-render-core @xmachines/play @xmachines/play-atom
+pnpm add @xmachines/core @xmachines/json-render-core@0.21.0-xm.7 @xmachines/play @xmachines/play-atom
 ```
 
+The json-render packages are exact peers: install the version that this release names, `0.21.0-xm.7`.
+
 - [`@xmachines/core`](../core/README.md) — the base package. This package reads the helpers of its `utils` subpath.
 - [`@xmachines/play`](../play/README.md) — the core protocol. This package reads the error classes from its `errors` subpath.
 - [`@xmachines/play-atom`](../play-atom/README.md) — the atom primitives. The view store holds the spec in a `ReadonlyAtom`.
@@ -38,9 +40,13 @@ It also holds `Viewable` and `PlaySpec`. Every type here names a type of `@xmach
 | `PlaySpec`                                       | The spec that an actor publishes, and that a renderer receives         |
 | `ViewOutlet`, `composeViews`                     | The composition of a parent view and the views of its substates        |
 | `BaseActorProviderProps`, `BaseViewContextValue` | The framework-free half of the props and of the context of a provider  |
+| `createViewSession`                              | The resolution of the view store that every provider reads             |
 | `createViewStoreLifecycle`                       | The lifecycle of the state store of one view                           |
-| `createFailureLatch`, `createReportGuard`        | The report of a render failure, one time for each view                 |
+| `createReportGuard`                              | The report of a contained failure, with a reset that the host holds    |
 | `toAtomState`, `attachRenderErrorHandler`        | The guards that a provider puts around a registry                      |
+| `createRenderErrorBinding`                       | One registry copy for each registry, which calls the newest handler    |
+| `createActorProxy`                               | The stand-in for the actor that a provider hands to its descendants    |
+| `bindStoreHandlers`                              | The action handlers of a registry, against a state store               |
 | `composePlayState`, `refreshContextSubtree`, …   | The projection of the machine context into the store                   |
 
 ## API Summary
@@ -56,18 +62,18 @@ cost at run time.
 import { typedSpec } from "@xmachines/play-view";
 
 // In an XState machine meta block:
-meta: {
-  view: typedSpec({
-    root: "root",
-    elements: {
-      root: {
-        type: "Dashboard",
-        props: { username: { $state: "/context/username" } },
-        children: [],
-      },
-    },
-  }),
-}
+const meta = {
+	view: typedSpec({
+		root: "root",
+		elements: {
+			root: {
+				type: "Dashboard",
+				props: { username: { $state: "/context/username" } },
+				children: [],
+			},
+		},
+	}),
+};
 ```
 
 ### `ViewMeta` and `PlaySpec`
@@ -131,7 +137,7 @@ Each outlet is a `ViewOutlet`: the `element` of the parent view that receives th
 child, and an optional named `slot` of that element. Without `slot`, the child view goes into the
 `children` of the element.
 
-```ts
+```ts fragment
 outlets: {
 	menu: { element: "shell", slot: "sidebar" }, // the child state "menu"
 	"*": { element: "shell" }, //                 every other active child
@@ -141,9 +147,11 @@ outlets: {
 The view derivation of [`@xmachines/play-xstate`](../play-xstate/README.md) resolves the active
 views into a `ViewTree`, and `composeViews` grafts that tree into one flat spec. The keys of the
 outer view stay as the author wrote them, and each key of a child view gets the id of its state
-as a prefix (`"app.page/root"`). The function returns the same object for the same tree, so the
-emit gate of the actor sees no change on a context assign. An outlet that names an absent element
-throws `InvalidViewOutletError` from `@xmachines/play-view/errors`.
+as a prefix (`"app.page/root"`). The function makes a new object on each call. A caller that
+emits the composed view on each snapshot keeps one result for each tree, so that the emit gate
+sees no change on a change of the context: play-xstate keeps one for each tree of each machine. An outlet that names an absent element
+throws `InvalidViewOutletError` from `@xmachines/play-view/errors`, and two views that put the
+same key into the composition throw `ViewElementKeyCollisionError`.
 
 A composed spec carries `viewParts`, the ids of the composed states, and its `viewKey` is the id
 of the outermost view. `createViewStoreLifecycle` therefore keeps the store when a page changes,
@@ -154,6 +162,22 @@ controlled mode, the caller owns the seed, so the lifecycle writes no authored k
 The [State Machines guide](../../../guides/state-machines.md#a-layout-and-its-pages-outlets)
 shows a complete machine.
 
+### `createViewSession(actor, store, options)`
+
+The view session resolves the store of the view for a provider, and the five renderers share it.
+It resolves when the actor emits, when the host hands over a new actor or controlled store
+(`setInputs`), and for a retry (`retry`). It never resolves in a render.
+
+A provider reads one immutable snapshot: `view`, the guarded `store`, the `generation` of the store,
+and a `failure`. It binds `subscribe` and `getSnapshot` to the primitive of its framework. The first
+listener connects the session, and the first read before it resolves without a write of a controlled
+store, so a render may call `getSnapshot`. A new snapshot is a new attempt, so a provider keys its
+subtree on `generation` and resets its error boundary on a new snapshot.
+
+A failure of the resolution reaches `options.onFailure`, outside a render. A provider whose error
+boundary reports a failure leaves that option out, and it throws `snapshot.failure.error` under the
+boundary.
+
 ### `Viewable`
 
 Interface for actors that expose a renderable view atom.
@@ -168,6 +192,8 @@ import type { Viewable } from "@xmachines/play-view";
 import type { PlaySpec } from "@xmachines/play-view";
 import { createAtom } from "@xmachines/play-atom";
 
+declare const spec: PlaySpec; // the view that the double shows
+
 // The real actor derives this atom. A double writes its own.
 const atom = createAtom<PlaySpec | null>(null);
 const viewable: Viewable = { currentView: atom };

package/api/@xmachines/play-view/errors/README.md

@@ -16,3 +16,4 @@ Match on the `code`, or on the class. Match on the `message` never.
 
 - [InvalidViewOutletError](classes/InvalidViewOutletError.md)
 - [ReadOnlyContextError](classes/ReadOnlyContextError.md)
+- [ViewElementKeyCollisionError](classes/ViewElementKeyCollisionError.md)

package/api/@xmachines/play-view/errors/classes/InvalidViewOutletError.md

@@ -2,7 +2,7 @@
 
 # Class: InvalidViewOutletError
 
-Defined in: [packages/play-view/src/errors.ts:81](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/errors.ts#L81)
+Defined in: [packages/play-view/src/errors.ts:81](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L81)
 
 An outlet of a `meta.view` names an element that the view does not hold.
 
@@ -47,7 +47,7 @@ new InvalidViewOutletError(
 ): InvalidViewOutletError;
 ```
 
-Defined in: [packages/play-view/src/errors.ts:92](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/errors.ts#L92)
+Defined in: [packages/play-view/src/errors.ts:92](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L92)
 
 #### Parameters
 
@@ -67,17 +67,17 @@ Defined in: [packages/play-view/src/errors.ts:92](https://gitlab.com/xmachin-es/
 
 ## Properties
 
-| Property                                                | Modifier   | Type      | Description                                                                                                                                                                                                                                                                                                                                                                                                                                       | Inherited from                                                                                                                                   | Defined in                                                                                                                           |
-| ------------------------------------------------------- | ---------- | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------------------------------------------ |
-| <a id="property-cause"></a> `cause?`                    | `public`   | `unknown` | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`cause`](../../../play/errors/classes/PlayError.md#property-cause)                     | -                                                                                                                                    |
-| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `<PACKAGE>_<DESCRIPTION>`, and a Play package writes `PLAY_<PACKAGE>_<DESCRIPTION>`. A code stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                         | [`PlayError`](../../../play/errors/classes/PlayError.md).[`code`](../../../play/errors/classes/PlayError.md#property-code)                       | [packages/core/src/errors.ts:56](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/core/src/errors.ts#L56)           |
-| <a id="property-message"></a> `message`                 | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`message`](../../../play/errors/classes/PlayError.md#property-message)                 | -                                                                                                                                    |
-| <a id="property-name"></a> `name`                       | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`name`](../../../play/errors/classes/PlayError.md#property-name)                       | -                                                                                                                                    |
-| <a id="property-outlet"></a> `outlet`                   | `readonly` | `string`  | The key of the outlet: a child state key, or `"*"`.                                                                                                                                                                                                                                                                                                                                                                                               | -                                                                                                                                                | [packages/play-view/src/errors.ts:85](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/errors.ts#L85) |
-| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"asDisposable"`.                                                                                                                                                                                                                                                                                                                                                                      | [`PlayError`](../../../play/errors/classes/PlayError.md).[`scope`](../../../play/errors/classes/PlayError.md#property-scope)                     | [packages/core/src/errors.ts:46](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/core/src/errors.ts#L46)           |
-| <a id="property-stack"></a> `stack?`                    | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stack`](../../../play/errors/classes/PlayError.md#property-stack)                     | -                                                                                                                                    |
-| <a id="property-stateid"></a> `stateId`                 | `readonly` | `string`  | The id of the state node whose `meta.view` declares the outlet.                                                                                                                                                                                                                                                                                                                                                                                   | -                                                                                                                                                | [packages/play-view/src/errors.ts:83](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/errors.ts#L83) |
-| <a id="property-stacktracelimit"></a> `stackTraceLimit` | `static`   | `number`  | The `Error.stackTraceLimit` property specifies the number of stack frames collected by a stack trace (whether generated by `new Error().stack` or `Error.captureStackTrace(obj)`). The default value is `10` but may be set to any valid JavaScript number. Changes will affect any stack trace captured _after_ the value has been changed. If set to a non-number value, or set to a negative number, stack traces will not capture any frames. | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stackTraceLimit`](../../../play/errors/classes/PlayError.md#property-stacktracelimit) | -                                                                                                                                    |
+| Property                                                | Modifier   | Type      | Description                                                                                                                                                                                                                                                                                                                                                                                                                                       | Inherited from                                                                                                                                   | Defined in                                                                                                                                       |
+| ------------------------------------------------------- | ---------- | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------ |
+| <a id="property-cause"></a> `cause?`                    | `public`   | `unknown` | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`cause`](../../../play/errors/classes/PlayError.md#property-cause)                     | -                                                                                                                                                |
+| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `<PACKAGE>_<DESCRIPTION>`, and a Play package writes `PLAY_<PACKAGE>_<DESCRIPTION>`. A code stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                         | [`PlayError`](../../../play/errors/classes/PlayError.md).[`code`](../../../play/errors/classes/PlayError.md#property-code)                       | [packages/core/src/errors.ts:56](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/core/src/errors.ts#L56)           |
+| <a id="property-message"></a> `message`                 | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`message`](../../../play/errors/classes/PlayError.md#property-message)                 | -                                                                                                                                                |
+| <a id="property-name"></a> `name`                       | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`name`](../../../play/errors/classes/PlayError.md#property-name)                       | -                                                                                                                                                |
+| <a id="property-outlet"></a> `outlet`                   | `readonly` | `string`  | The key of the outlet: a child state key, or `"*"`.                                                                                                                                                                                                                                                                                                                                                                                               | -                                                                                                                                                | [packages/play-view/src/errors.ts:85](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L85) |
+| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"asDisposable"`.                                                                                                                                                                                                                                                                                                                                                                      | [`PlayError`](../../../play/errors/classes/PlayError.md).[`scope`](../../../play/errors/classes/PlayError.md#property-scope)                     | [packages/core/src/errors.ts:46](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/core/src/errors.ts#L46)           |
+| <a id="property-stack"></a> `stack?`                    | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stack`](../../../play/errors/classes/PlayError.md#property-stack)                     | -                                                                                                                                                |
+| <a id="property-stateid"></a> `stateId`                 | `readonly` | `string`  | The id of the state node whose `meta.view` declares the outlet.                                                                                                                                                                                                                                                                                                                                                                                   | -                                                                                                                                                | [packages/play-view/src/errors.ts:83](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L83) |
+| <a id="property-stacktracelimit"></a> `stackTraceLimit` | `static`   | `number`  | The `Error.stackTraceLimit` property specifies the number of stack frames collected by a stack trace (whether generated by `new Error().stack` or `Error.captureStackTrace(obj)`). The default value is `10` but may be set to any valid JavaScript number. Changes will affect any stack trace captured _after_ the value has been changed. If set to a non-number value, or set to a negative number, stack traces will not capture any frames. | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stackTraceLimit`](../../../play/errors/classes/PlayError.md#property-stacktracelimit) | -                                                                                                                                                |
 
 ## Methods
 

package/api/@xmachines/play-view/errors/classes/ReadOnlyContextError.md

@@ -2,7 +2,7 @@
 
 # Class: ReadOnlyContextError
 
-Defined in: [packages/play-view/src/errors.ts:34](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/errors.ts#L34)
+Defined in: [packages/play-view/src/errors.ts:34](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L34)
 
 A write reached the context projection of the view store.
 
@@ -37,7 +37,7 @@ try {
 new ReadOnlyContextError(path, stateKey): ReadOnlyContextError;
 ```
 
-Defined in: [packages/play-view/src/errors.ts:42](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/errors.ts#L42)
+Defined in: [packages/play-view/src/errors.ts:42](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L42)
 
 #### Parameters
 
@@ -56,16 +56,16 @@ Defined in: [packages/play-view/src/errors.ts:42](https://gitlab.com/xmachin-es/
 
 ## Properties
 
-| Property                                                | Modifier   | Type      | Description                                                                                                                                                                                                                                                                                                                                                                                                                                       | Inherited from                                                                                                                                   | Defined in                                                                                                                           |
-| ------------------------------------------------------- | ---------- | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------------------------------------------ |
-| <a id="property-cause"></a> `cause?`                    | `public`   | `unknown` | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`cause`](../../../play/errors/classes/PlayError.md#property-cause)                     | -                                                                                                                                    |
-| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `<PACKAGE>_<DESCRIPTION>`, and a Play package writes `PLAY_<PACKAGE>_<DESCRIPTION>`. A code stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                         | [`PlayError`](../../../play/errors/classes/PlayError.md).[`code`](../../../play/errors/classes/PlayError.md#property-code)                       | [packages/core/src/errors.ts:56](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/core/src/errors.ts#L56)           |
-| <a id="property-message"></a> `message`                 | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`message`](../../../play/errors/classes/PlayError.md#property-message)                 | -                                                                                                                                    |
-| <a id="property-name"></a> `name`                       | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`name`](../../../play/errors/classes/PlayError.md#property-name)                       | -                                                                                                                                    |
-| <a id="property-path"></a> `path`                       | `readonly` | `string`  | The JSON pointer of the write that the store refused, as the caller gave it.                                                                                                                                                                                                                                                                                                                                                                      | -                                                                                                                                                | [packages/play-view/src/errors.ts:36](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/errors.ts#L36) |
-| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"asDisposable"`.                                                                                                                                                                                                                                                                                                                                                                      | [`PlayError`](../../../play/errors/classes/PlayError.md).[`scope`](../../../play/errors/classes/PlayError.md#property-scope)                     | [packages/core/src/errors.ts:46](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/core/src/errors.ts#L46)           |
-| <a id="property-stack"></a> `stack?`                    | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stack`](../../../play/errors/classes/PlayError.md#property-stack)                     | -                                                                                                                                    |
-| <a id="property-stacktracelimit"></a> `stackTraceLimit` | `static`   | `number`  | The `Error.stackTraceLimit` property specifies the number of stack frames collected by a stack trace (whether generated by `new Error().stack` or `Error.captureStackTrace(obj)`). The default value is `10` but may be set to any valid JavaScript number. Changes will affect any stack trace captured _after_ the value has been changed. If set to a non-number value, or set to a negative number, stack traces will not capture any frames. | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stackTraceLimit`](../../../play/errors/classes/PlayError.md#property-stacktracelimit) | -                                                                                                                                    |
+| Property                                                | Modifier   | Type      | Description                                                                                                                                                                                                                                                                                                                                                                                                                                       | Inherited from                                                                                                                                   | Defined in                                                                                                                                       |
+| ------------------------------------------------------- | ---------- | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------ |
+| <a id="property-cause"></a> `cause?`                    | `public`   | `unknown` | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`cause`](../../../play/errors/classes/PlayError.md#property-cause)                     | -                                                                                                                                                |
+| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `<PACKAGE>_<DESCRIPTION>`, and a Play package writes `PLAY_<PACKAGE>_<DESCRIPTION>`. A code stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                         | [`PlayError`](../../../play/errors/classes/PlayError.md).[`code`](../../../play/errors/classes/PlayError.md#property-code)                       | [packages/core/src/errors.ts:56](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/core/src/errors.ts#L56)           |
+| <a id="property-message"></a> `message`                 | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`message`](../../../play/errors/classes/PlayError.md#property-message)                 | -                                                                                                                                                |
+| <a id="property-name"></a> `name`                       | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`name`](../../../play/errors/classes/PlayError.md#property-name)                       | -                                                                                                                                                |
+| <a id="property-path"></a> `path`                       | `readonly` | `string`  | The JSON pointer of the write that the store refused, as the caller gave it.                                                                                                                                                                                                                                                                                                                                                                      | -                                                                                                                                                | [packages/play-view/src/errors.ts:36](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L36) |
+| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"asDisposable"`.                                                                                                                                                                                                                                                                                                                                                                      | [`PlayError`](../../../play/errors/classes/PlayError.md).[`scope`](../../../play/errors/classes/PlayError.md#property-scope)                     | [packages/core/src/errors.ts:46](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/core/src/errors.ts#L46)           |
+| <a id="property-stack"></a> `stack?`                    | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stack`](../../../play/errors/classes/PlayError.md#property-stack)                     | -                                                                                                                                                |
+| <a id="property-stacktracelimit"></a> `stackTraceLimit` | `static`   | `number`  | The `Error.stackTraceLimit` property specifies the number of stack frames collected by a stack trace (whether generated by `new Error().stack` or `Error.captureStackTrace(obj)`). The default value is `10` but may be set to any valid JavaScript number. Changes will affect any stack trace captured _after_ the value has been changed. If set to a non-number value, or set to a negative number, stack traces will not capture any frames. | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stackTraceLimit`](../../../play/errors/classes/PlayError.md#property-stacktracelimit) | -                                                                                                                                                |
 
 ## Methods
 

package/api/@xmachines/play-view/errors/classes/ViewElementKeyCollisionError.md

@@ -0,0 +1,181 @@
+[API](../../../../README.md) / [@xmachines/play-view](../../README.md) / [errors](../README.md) / ViewElementKeyCollisionError
+
+# Class: ViewElementKeyCollisionError
+
+Defined in: [packages/play-view/src/errors.ts:115](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L115)
+
+Two views of one composition hold an element with the same key.
+
+The keys of the outermost view carry no prefix, and each key of a child view gets the
+id of its state and a `/` as a prefix. A key of the outer view such as `"page/root"`
+therefore equals the key of the element `root` of the child state `page`. One of the
+two elements then has no place in the flat spec, and an outlet can point back to its
+own layout, so the derivation refuses the composition. The actor reports the error
+through its `onError` option and keeps the last good view.
+
+## Extends
+
+- [`PlayError`](../../../play/errors/classes/PlayError.md)
+
+## Constructors
+
+### Constructor
+
+```ts
+new ViewElementKeyCollisionError(stateId, key): ViewElementKeyCollisionError;
+```
+
+Defined in: [packages/play-view/src/errors.ts:125](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L125)
+
+#### Parameters
+
+| Parameter | Type     | Description                                                      |
+| --------- | -------- | ---------------------------------------------------------------- |
+| `stateId` | `string` | The id of the state node whose view declares the second element. |
+| `key`     | `string` | The key of the element in the composed spec.                     |
+
+#### Returns
+
+`ViewElementKeyCollisionError`
+
+#### Overrides
+
+[`PlayError`](../../../play/errors/classes/PlayError.md).[`constructor`](../../../play/errors/classes/PlayError.md#constructor)
+
+## Properties
+
+| Property                                                | Modifier   | Type      | Description                                                                                                                                                                                                                                                                                                                                                                                                                                       | Inherited from                                                                                                                                   | Defined in                                                                                                                                         |
+| ------------------------------------------------------- | ---------- | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------ | -------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-cause"></a> `cause?`                    | `public`   | `unknown` | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`cause`](../../../play/errors/classes/PlayError.md#property-cause)                     | -                                                                                                                                                  |
+| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `<PACKAGE>_<DESCRIPTION>`, and a Play package writes `PLAY_<PACKAGE>_<DESCRIPTION>`. A code stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                         | [`PlayError`](../../../play/errors/classes/PlayError.md).[`code`](../../../play/errors/classes/PlayError.md#property-code)                       | [packages/core/src/errors.ts:56](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/core/src/errors.ts#L56)             |
+| <a id="property-key"></a> `key`                         | `readonly` | `string`  | The key of the element in the composed spec.                                                                                                                                                                                                                                                                                                                                                                                                      | -                                                                                                                                                | [packages/play-view/src/errors.ts:119](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L119) |
+| <a id="property-message"></a> `message`                 | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`message`](../../../play/errors/classes/PlayError.md#property-message)                 | -                                                                                                                                                  |
+| <a id="property-name"></a> `name`                       | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`name`](../../../play/errors/classes/PlayError.md#property-name)                       | -                                                                                                                                                  |
+| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"asDisposable"`.                                                                                                                                                                                                                                                                                                                                                                      | [`PlayError`](../../../play/errors/classes/PlayError.md).[`scope`](../../../play/errors/classes/PlayError.md#property-scope)                     | [packages/core/src/errors.ts:46](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/core/src/errors.ts#L46)             |
+| <a id="property-stack"></a> `stack?`                    | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stack`](../../../play/errors/classes/PlayError.md#property-stack)                     | -                                                                                                                                                  |
+| <a id="property-stateid"></a> `stateId`                 | `readonly` | `string`  | The id of the state node whose view declares the second element.                                                                                                                                                                                                                                                                                                                                                                                  | -                                                                                                                                                | [packages/play-view/src/errors.ts:117](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/errors.ts#L117) |
+| <a id="property-stacktracelimit"></a> `stackTraceLimit` | `static`   | `number`  | The `Error.stackTraceLimit` property specifies the number of stack frames collected by a stack trace (whether generated by `new Error().stack` or `Error.captureStackTrace(obj)`). The default value is `10` but may be set to any valid JavaScript number. Changes will affect any stack trace captured _after_ the value has been changed. If set to a non-number value, or set to a negative number, stack traces will not capture any frames. | [`PlayError`](../../../play/errors/classes/PlayError.md).[`stackTraceLimit`](../../../play/errors/classes/PlayError.md#property-stacktracelimit) | -                                                                                                                                                  |
+
+## Methods
+
+### captureStackTrace()
+
+```ts
+static captureStackTrace(targetObject, constructorOpt?): void;
+```
+
+Defined in: `@types/node`
+
+Creates a `.stack` property on `targetObject`, which when accessed returns
+a string representing the location in the code at which
+`Error.captureStackTrace()` was called.
+
+```js
+const myObject = {};
+Error.captureStackTrace(myObject);
+myObject.stack; // Similar to `new Error().stack`
+```
+
+The first line of the trace will be prefixed with
+`${myObject.name}: ${myObject.message}`.
+
+The optional `constructorOpt` argument accepts a function. If given, all frames
+above `constructorOpt`, including `constructorOpt`, will be omitted from the
+generated stack trace.
+
+The `constructorOpt` argument is useful for hiding implementation
+details of error generation from the user. For instance:
+
+```js
+function a() {
+	b();
+}
+
+function b() {
+	c();
+}
+
+function c() {
+	// Create an error without stack trace to avoid calculating the stack trace twice.
+	const { stackTraceLimit } = Error;
+	Error.stackTraceLimit = 0;
+	const error = new Error();
+	Error.stackTraceLimit = stackTraceLimit;
+
+	// Capture the stack trace above function b
+	Error.captureStackTrace(error, b); // Neither function c, nor b is included in the stack trace
+	throw error;
+}
+
+a();
+```
+
+#### Parameters
+
+| Parameter         | Type       |
+| ----------------- | ---------- |
+| `targetObject`    | `object`   |
+| `constructorOpt?` | `Function` |
+
+#### Returns
+
+`void`
+
+#### Inherited from
+
+[`PlayError`](../../../play/errors/classes/PlayError.md).[`captureStackTrace`](../../../play/errors/classes/PlayError.md#capturestacktrace)
+
+---
+
+### isError()
+
+```ts
+static isError(error): error is Error;
+```
+
+Defined in: `typescript`
+
+Indicates whether the argument provided is a built-in Error instance or not.
+
+#### Parameters
+
+| Parameter | Type      |
+| --------- | --------- |
+| `error`   | `unknown` |
+
+#### Returns
+
+`error is Error`
+
+#### Inherited from
+
+[`PlayError`](../../../play/errors/classes/PlayError.md).[`isError`](../../../play/errors/classes/PlayError.md#iserror)
+
+---
+
+### prepareStackTrace()
+
+```ts
+static prepareStackTrace(err, stackTraces): any;
+```
+
+Defined in: `@types/node`
+
+#### Parameters
+
+| Parameter     | Type         |
+| ------------- | ------------ |
+| `err`         | `Error`      |
+| `stackTraces` | `CallSite`[] |
+
+#### Returns
+
+`any`
+
+#### See
+
+https://v8.dev/docs/stack-trace-api#customizing-stack-traces
+
+#### Inherited from
+
+[`PlayError`](../../../play/errors/classes/PlayError.md).[`prepareStackTrace`](../../../play/errors/classes/PlayError.md#preparestacktrace)

package/api/@xmachines/play-view/index/README.md

@@ -23,15 +23,17 @@ package never, and json-render never.
 - [BaseActorProviderProps](interfaces/BaseActorProviderProps.md)
 - [BaseViewContextValue](interfaces/BaseViewContextValue.md)
 - [ComposedView](interfaces/ComposedView.md)
-- [FailureLatch](interfaces/FailureLatch.md)
+- [HandlerFactory](interfaces/HandlerFactory.md)
 - [PlaySpec](interfaces/PlaySpec.md)
 - [ReportGuard](interfaces/ReportGuard.md)
 - [ReportGuardMessages](interfaces/ReportGuardMessages.md)
 - [ResolveViewStoreOptions](interfaces/ResolveViewStoreOptions.md)
 - [Viewable](interfaces/Viewable.md)
-- [ViewInputs](interfaces/ViewInputs.md)
 - [ViewMeta](interfaces/ViewMeta.md)
 - [ViewOutlet](interfaces/ViewOutlet.md)
+- [ViewSession](interfaces/ViewSession.md)
+- [ViewSessionOptions](interfaces/ViewSessionOptions.md)
+- [ViewSessionSnapshot](interfaces/ViewSessionSnapshot.md)
 - [ViewStoreLifecycle](interfaces/ViewStoreLifecycle.md)
 - [ViewStoreResolution](interfaces/ViewStoreResolution.md)
 - [ViewTree](interfaces/ViewTree.md)
@@ -39,6 +41,7 @@ package never, and json-render never.
 
 ## Type Aliases
 
+- [StateUpdater](type-aliases/StateUpdater.md)
 - [ViewActor](type-aliases/ViewActor.md)
 
 ## Variables
@@ -48,14 +51,17 @@ package never, and json-render never.
 ## Functions
 
 - [attachRenderErrorHandler](functions/attachRenderErrorHandler.md)
+- [bindStoreHandlers](functions/bindStoreHandlers.md)
 - [composePlayState](functions/composePlayState.md)
 - [composeViews](functions/composeViews.md)
-- [createFailureLatch](functions/createFailureLatch.md)
+- [createActorProxy](functions/createActorProxy.md)
+- [createRenderErrorBinding](functions/createRenderErrorBinding.md)
 - [createReportGuard](functions/createReportGuard.md)
+- [createViewSession](functions/createViewSession.md)
 - [createViewStoreLifecycle](functions/createViewStoreLifecycle.md)
+- [forwardRenderError](functions/forwardRenderError.md)
 - [guardContextWrites](functions/guardContextWrites.md)
 - [refreshContextSubtree](functions/refreshContextSubtree.md)
 - [reuseComposedState](functions/reuseComposedState.md)
-- [sameViewInputs](functions/sameViewInputs.md)
 - [toAtomState](functions/toAtomState.md)
 - [typedSpec](functions/typedSpec.md)

package/api/@xmachines/play-view/index/functions/attachRenderErrorHandler.md

@@ -6,7 +6,7 @@
 function attachRenderErrorHandler<TRegistry>(registry, handler): TRegistry;
 ```
 
-Defined in: [packages/play-view/src/provider-guards.ts:68](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/provider-guards.ts#L68)
+Defined in: [packages/play-view/src/provider-guards.ts:78](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/provider-guards.ts#L78)
 
 Copies a component registry, and puts an `onRenderError` handler into the copy.
 
@@ -16,10 +16,11 @@ injection for every framework renderer). The handler therefore replaces each
 handler of the `defineRegistry` level, and it does not appear in an enumeration of
 the component entries of the registry.
 
-The function never changes the registry of the caller: it returns a shallow copy.
-Therefore a caller that needs a handler for each instance, such as an
-`onRenderError` prop of `ActorProvider`, can share one result of `defineRegistry`
-between the providers in a safe way.
+The function never changes the registry of the caller: it returns the copy of
+`withRenderErrorHandler`, which keeps the slot metadata of the registry. Therefore a
+caller that needs a handler for each instance, such as an `onRenderError` prop of
+`ActorProvider`, can share one result of `defineRegistry` between the providers in a
+safe way.
 
 ## Type Parameters
 
@@ -29,10 +30,10 @@ between the providers in a safe way.
 
 ## Parameters
 
-| Parameter  | Type                                                                         | Description                                                                                          |
-| ---------- | ---------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------- |
-| `registry` | `TRegistry`                                                                  | The component registry from `defineRegistry().registry`.                                             |
-| `handler`  | [`RenderErrorHandler`](../../../play-dom/type-aliases/RenderErrorHandler.md) | The renderer calls it with `(error, componentName)` when a catalog component throws during a render. |
+| Parameter  | Type                                                               | Description                                                                                                                                                    |
+| ---------- | ------------------------------------------------------------------ | -------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `registry` | `TRegistry`                                                        | The component registry from `defineRegistry().registry`.                                                                                                       |
+| `handler`  | [`OnRenderError`](../../../play-dom/type-aliases/OnRenderError.md) | The renderer calls it with `(error, name, info)` for each failure that it reports. `info.kind` names the kind of the failure, such as `"element"` or `"root"`. |
 
 ## Returns
 

package/api/@xmachines/play-view/index/functions/bindStoreHandlers.md

@@ -0,0 +1,34 @@
+[API](../../../../README.md) / [@xmachines/play-view](../../README.md) / [index](../README.md) / bindStoreHandlers
+
+# Function: bindStoreHandlers()
+
+```ts
+function bindStoreHandlers<THandlers>(registryResult, getStore): THandlers;
+```
+
+Defined in: [packages/play-view/src/provider-guards.ts:218](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/provider-guards.ts#L218)
+
+Builds the action handlers of a registry against a state store.
+
+A handler reads the state and writes it through two getters, and each getter reads the
+store at the moment of the call. A provider whose store changes identity therefore
+passes a getter that returns the current store, and the handlers stay valid.
+
+## Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `THandlers`    |
+
+## Parameters
+
+| Parameter        | Type                                                               | Description                                                                                                               |
+| ---------------- | ------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------------------------------- |
+| `registryResult` | [`HandlerFactory`](../interfaces/HandlerFactory.md)\<`THandlers`\> | The result of `defineRegistry` of the framework.                                                                          |
+| `getStore`       | () => `Pick`\<`StateStore`, `"getSnapshot"` \| `"update"`\>        | Returns the store that the handlers read and write: a `StateStore`, or the value of a `useStateStore()` of the framework. |
+
+## Returns
+
+`THandlers`
+
+The handlers of the registry.

package/api/@xmachines/play-view/index/functions/composePlayState.md

@@ -6,7 +6,7 @@
 function composePlayState(authoredState, slice): Record<string, unknown> | undefined;
 ```
 
-Defined in: [packages/play-view/src/context-projection.ts:203](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/context-projection.ts#L203)
+Defined in: [packages/play-view/src/context-projection.ts:207](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/context-projection.ts#L207)
 
 Composes the effective state of a view: the authored `spec.state` and the
 `/context` slice.