@xmachines/docs 6.1.0 → 7.1.0

package/api/@xmachines/play-view/index/interfaces/ReportGuard.md

@@ -2,7 +2,7 @@
 
 # Interface: ReportGuard
 
-Defined in: [packages/play-view/src/failure-latch.ts:59](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/failure-latch.ts#L59)
+Defined in: [packages/play-view/src/report-guard.ts:23](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/report-guard.ts#L23)
 
 A report guard of one provider.
 
@@ -21,7 +21,7 @@ the route that opened it).
 blocked(): boolean;
 ```
 
-Defined in: [packages/play-view/src/failure-latch.ts:61](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/failure-latch.ts#L61)
+Defined in: [packages/play-view/src/report-guard.ts:25](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/report-guard.ts#L25)
 
 True when a reset that the host starts must do nothing.
 
@@ -37,7 +37,7 @@ True when a reset that the host starts must do nothing.
 dispose(): void;
 ```
 
-Defined in: [packages/play-view/src/failure-latch.ts:74](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/failure-latch.ts#L74)
+Defined in: [packages/play-view/src/report-guard.ts:38](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/report-guard.ts#L38)
 
 The provider is gone.
 
@@ -53,7 +53,7 @@ The provider is gone.
 disposed(): boolean;
 ```
 
-Defined in: [packages/play-view/src/failure-latch.ts:72](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/failure-latch.ts#L72)
+Defined in: [packages/play-view/src/report-guard.ts:36](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/report-guard.ts#L36)
 
 True once [ReportGuard.dispose](#dispose) ran, and never for a report that runs.
 
@@ -76,7 +76,7 @@ clear the re-entry flag of a guard that nobody holds.
 report(error, deliver): void;
 ```
 
-Defined in: [packages/play-view/src/failure-latch.ts:86](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/failure-latch.ts#L86)
+Defined in: [packages/play-view/src/report-guard.ts:50](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/report-guard.ts#L50)
 
 Delivers one report, with the re-entry flag held for the call.
 

package/api/@xmachines/play-view/index/interfaces/ReportGuardMessages.md

@@ -2,7 +2,7 @@
 
 # Interface: ReportGuardMessages
 
-Defined in: [packages/play-view/src/failure-latch.ts:96](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/failure-latch.ts#L96)
+Defined in: [packages/play-view/src/report-guard.ts:60](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/report-guard.ts#L60)
 
 What a [ReportGuard](ReportGuard.md) writes to `console.error`, and what it therefore contains.
 
@@ -12,7 +12,7 @@ a handler of the host never defeats the containment.
 
 ## Properties
 
-| Property                                           | Type     | Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | Defined in                                                                                                                                           |
-| -------------------------------------------------- | -------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-handlerthrew"></a> `handlerThrew?` | `string` | What `console.error` says when the handler of the host THROWS. A guard that carries this message CONTAINS such a throw. All five renderers carry it, so a host learns one rule: a handler of the host never defeats the containment, and a host that must escalate raises the failure from a task of its own — `rethrowLater(error)` of `@xmachines/core/utils`. Omit it only where a throw must reach the caller, which no renderer of this workspace asks for today. A renderer needs the containment when a throw that leaves the report also stops the screen of the fallback: the flag of play-vue schedules a render, the fallback of play-solid is the RETURN of the callback that reports, `componentDidCatch` of play-react can take the complete React root down, and a throw that leaves the `onerror` of Svelte leaves its own `calling_on_error` flag raised, which makes every later reset of the host raise `svelte_boundary_reset_onerror`. | [packages/play-view/src/failure-latch.ts:120](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/failure-latch.ts#L120) |
-| <a id="property-nohandler"></a> `noHandler?`       | `string` | What `console.error` says when the host gave no handler. Omit it where the framework writes such a failure itself: React logs an error that a boundary caught, so play-react would report the same failure two times.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       | [packages/play-view/src/failure-latch.ts:103](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/failure-latch.ts#L103) |
+| Property                                           | Type     | Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | Defined in                                                                                                                                            |
+| -------------------------------------------------- | -------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-handlerthrew"></a> `handlerThrew?` | `string` | What `console.error` says when the handler of the host THROWS. A guard that carries this message CONTAINS such a throw. All five renderers carry it, so a host learns one rule: a handler of the host never defeats the containment, and a host that must escalate raises the failure from a task of its own — `rethrowLater(error)` of `@xmachines/core/utils`. Omit it only where a throw must reach the caller, which no renderer of this workspace asks for today. A renderer needs the containment when a throw that leaves the report also stops the screen of the fallback: the flag of play-vue schedules a render, the fallback of play-solid is the RETURN of the callback that reports, `componentDidCatch` of play-react can take the complete React root down, and a throw that leaves the `onerror` of Svelte leaves its own `calling_on_error` flag raised, which makes every later reset of the host raise `svelte_boundary_reset_onerror`. | [packages/play-view/src/report-guard.ts:84](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/report-guard.ts#L84) |
+| <a id="property-nohandler"></a> `noHandler?`       | `string` | What `console.error` says when the host gave no handler. Omit it where the framework writes such a failure itself: React logs an error that a boundary caught, so play-react would report the same failure two times.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       | [packages/play-view/src/report-guard.ts:67](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/report-guard.ts#L67) |

package/api/@xmachines/play-view/index/interfaces/ResolveViewStoreOptions.md

@@ -2,10 +2,10 @@
 
 # Interface: ResolveViewStoreOptions
 
-Defined in: [packages/play-view/src/view-store-lifecycle.ts:87](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L87)
+Defined in: [packages/play-view/src/view-store-lifecycle.ts:91](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L91)
 
 ## Properties
 
-| Property                                                           | Type      | Description                                                                                                                                                                                                                                                                    | Defined in                                                                                                                                                       |
-| ------------------------------------------------------------------ | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ---------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-refreshexternalstore"></a> `refreshExternalStore?` | `boolean` | The controlled mode only: refresh the /context subtree of the external store during this resolve. The default is true. Give false where the call site permits no notification of the store subscribers, which is the render path of React, and refresh from an effect instead. | [packages/play-view/src/view-store-lifecycle.ts:94](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L94) |
+| Property                                                           | Type      | Description                                                                                                                                                                                                                                                                    | Defined in                                                                                                                                                            |
+| ------------------------------------------------------------------ | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-refreshexternalstore"></a> `refreshExternalStore?` | `boolean` | The controlled mode only: refresh the /context subtree of the external store during this resolve. The default is true. Give false where the call site permits no notification of the store subscribers, which is the render path of React, and refresh from an effect instead. | [packages/play-view/src/view-store-lifecycle.ts:98](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L98) |

package/api/@xmachines/play-view/index/interfaces/ViewMeta.md

@@ -2,7 +2,7 @@
 
 # Interface: ViewMeta
 
-Defined in: [packages/play-view/src/view-types.ts:32](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L32)
+Defined in: [packages/play-view/src/view-types.ts:27](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-types.ts#L27)
 
 The view that an author writes in `meta.view`: the `Spec` type of
 `@xmachines/json-render-core`, and the `outlets` of a parent view.
@@ -17,9 +17,9 @@ and it stamps `viewKey`. Validate the derived view, and not this one.
 
 ## Properties
 
-| Property                                  | Modifier   | Type                                                              | Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | Inherited from  | Defined in                                                                                                                                   |
-| ----------------------------------------- | ---------- | ----------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------- | -------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-elements"></a> `elements` | `public`   | `Record`\<`string`, `UIElement`\>                                 | Flat map of elements by key                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | `Spec.elements` | -                                                                                                                                            |
-| <a id="property-outlets"></a> `outlets?`  | `readonly` | `Readonly`\<`Record`\<`string`, [`ViewOutlet`](ViewOutlet.md)\>\> | The places where the views of the active substates go. Write this field in the `meta.view` of a PARENT state. The view derivation then renders the parent view and puts the view of each active child into the outlet of that child, so a layout and its page, or the regions of a parallel state, share one screen. Each key is the key of a child state in `states`, or `"*"` for each active child that has no entry of its own. A compound state fills one outlet with its active child. A parallel state fills one outlet for each region. | -               | [packages/play-view/src/view-types.ts:43](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L43) |
-| <a id="property-root"></a> `root`         | `public`   | `string`                                                          | Root element key                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | `Spec.root`     | -                                                                                                                                            |
-| <a id="property-state"></a> `state?`      | `public`   | `Record`\<`string`, `unknown`\>                                   | Optional initial state to seed the state model. Components using statePath will read from / write to this state.                                                                                                                                                                                                                                                                                                                                                                                                                                | `Spec.state`    | -                                                                                                                                            |
+| Property                                  | Modifier   | Type                                                              | Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | Inherited from  | Defined in                                                                                                                                        |
+| ----------------------------------------- | ---------- | ----------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------- | ------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-elements"></a> `elements` | `public`   | `Record`\<`string`, `UIElement`\>                                 | Flat map of elements by key                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | `Spec.elements` | -                                                                                                                                                 |
+| <a id="property-outlets"></a> `outlets?`  | `readonly` | `Readonly`\<`Record`\<`string`, [`ViewOutlet`](ViewOutlet.md)\>\> | The places where the views of the active substates go. Write this field in the `meta.view` of a PARENT state. The view derivation then renders the parent view and puts the view of each active child into the outlet of that child, so a layout and its page, or the regions of a parallel state, share one screen. Each key is the key of a child state in `states`, or `"*"` for each active child that has no entry of its own. A compound state fills one outlet with its active child. A parallel state fills one outlet for each region. | -               | [packages/play-view/src/view-types.ts:38](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-types.ts#L38) |
+| <a id="property-root"></a> `root`         | `public`   | `string`                                                          | Root element key                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | `Spec.root`     | -                                                                                                                                                 |
+| <a id="property-state"></a> `state?`      | `public`   | `Record`\<`string`, `unknown`\>                                   | Optional initial state to seed the state model. Components using statePath will read from / write to this state.                                                                                                                                                                                                                                                                                                                                                                                                                                | `Spec.state`    | -                                                                                                                                                 |

package/api/@xmachines/play-view/index/interfaces/ViewOutlet.md

@@ -2,7 +2,7 @@
 
 # Interface: ViewOutlet
 
-Defined in: [packages/play-view/src/view-types.ts:88](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L88)
+Defined in: [packages/play-view/src/view-types.ts:83](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-types.ts#L83)
 
 One outlet of a parent view: the element that receives the view of a child state.
 
@@ -17,7 +17,7 @@ outlets: {
 
 ## Properties
 
-| Property                                | Modifier   | Type     | Description                                                                                                                     | Defined in                                                                                                                                   |
-| --------------------------------------- | ---------- | -------- | ------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-element"></a> `element` | `readonly` | `string` | The key of the element of the parent view that receives the child view.                                                         | [packages/play-view/src/view-types.ts:90](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L90) |
-| <a id="property-slot"></a> `slot?`      | `readonly` | `string` | A named slot of that element. Omit it to append the child view to the `children` of the element, which every renderer supports. | [packages/play-view/src/view-types.ts:95](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L95) |
+| Property                                | Modifier   | Type     | Description                                                                                                                     | Defined in                                                                                                                                        |
+| --------------------------------------- | ---------- | -------- | ------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-element"></a> `element` | `readonly` | `string` | The key of the element of the parent view that receives the child view.                                                         | [packages/play-view/src/view-types.ts:85](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-types.ts#L85) |
+| <a id="property-slot"></a> `slot?`      | `readonly` | `string` | A named slot of that element. Omit it to append the child view to the `children` of the element, which every renderer supports. | [packages/play-view/src/view-types.ts:90](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-types.ts#L90) |

package/api/@xmachines/play-view/index/interfaces/ViewSession.md

@@ -0,0 +1,155 @@
+[API](../../../../README.md) / [@xmachines/play-view](../../README.md) / [index](../README.md) / ViewSession
+
+# Interface: ViewSession\<TActor\>
+
+Defined in: [packages/play-view/src/view-session.ts:88](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L88)
+
+The view session of one provider.
+
+## Type Parameters
+
+| Type Parameter                                                                                    | Default type                                | Description                            |
+| ------------------------------------------------------------------------------------------------- | ------------------------------------------- | -------------------------------------- |
+| <a id="type-parameter-tactor"></a> `TActor` _extends_ [`ViewActor`](../type-aliases/ViewActor.md) | [`ViewActor`](../type-aliases/ViewActor.md) | The type of the actor of the provider. |
+
+## Methods
+
+### dispose()
+
+```ts
+dispose(): void;
+```
+
+Defined in: [packages/play-view/src/view-session.ts:142](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L142)
+
+Disconnects the session and drops its store. A later call does nothing.
+
+#### Returns
+
+`void`
+
+---
+
+### failView()
+
+```ts
+failView(error, attempt?): void;
+```
+
+Defined in: [packages/play-view/src/view-session.ts:140](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L140)
+
+Records a failure of the root of the view that json-render reported, as a failure of
+the snapshot: the new snapshot holds the failure and no store, and a connected session
+reports it through [ViewSessionOptions.onFailure](ViewSessionOptions.md#property-onfailure). The failure stands until a
+new attempt: a new view, a new actor, a new controlled store, or a retry. A connection
+keeps it, also a second one: it makes a new attempt only when the view moved or a
+controlled store waits for its /context.
+
+The root boundary of json-render stays failed while its subtree stays mounted. The
+next attempt therefore gets a new generation, and a provider mounts a new subtree for
+it, with the same state. A root that fails again there reports again.
+
+The call does nothing for a snapshot that holds no view or a failure already, and for
+an `attempt` that is not the current snapshot: a report that arrives after the next
+snapshot belongs to an attempt that is gone.
+
+#### Parameters
+
+| Parameter  | Type                                                        | Description                                                                                                                                                                                                                                                                                                                                                                                                                            |
+| ---------- | ----------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `error`    | `unknown`                                                   | The failure of the root.                                                                                                                                                                                                                                                                                                                                                                                                               |
+| `attempt?` | [`ViewSessionSnapshot`](ViewSessionSnapshot.md)\<`TActor`\> | The snapshot that the failed render showed. Leave it out where the report arrives in the render of the current snapshot, and where the root boundary of json-render stays failed while its subtree stays mounted: a report that fails a newer snapshot shows the fallback, and the next attempt recovers from it, but a report that the session drops leaves an empty view. The four framework providers leave it out for that reason. |
+
+#### Returns
+
+`void`
+
+---
+
+### getSnapshot()
+
+```ts
+getSnapshot(): ViewSessionSnapshot<TActor>;
+```
+
+Defined in: [packages/play-view/src/view-session.ts:98](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L98)
+
+The current snapshot. The first call resolves one time, without a write of the
+controlled store, and a later call returns the snapshot of the last resolution. A
+render may call it.
+
+In a session that no listener connects, `setInputs()` and `retry()` drop the
+snapshot, so the next call resolves again, also without a write. A provider must not
+keep the first snapshot as the final one.
+
+#### Returns
+
+[`ViewSessionSnapshot`](ViewSessionSnapshot.md)\<`TActor`\>
+
+---
+
+### retry()
+
+```ts
+retry(): void;
+```
+
+Defined in: [packages/play-view/src/view-session.ts:115](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L115)
+
+Resolves the view that the actor holds NOW, for a retry of the host.
+
+#### Returns
+
+`void`
+
+---
+
+### setInputs()
+
+```ts
+setInputs(actor, store): void;
+```
+
+Defined in: [packages/play-view/src/view-session.ts:113](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L113)
+
+Hands over the actor and the controlled store of the host. A change of either one
+resolves again, and a new actor also drops the store of the old one. Call it outside
+a render.
+
+#### Parameters
+
+| Parameter | Type                        |
+| --------- | --------------------------- |
+| `actor`   | `TActor`                    |
+| `store`   | `StateStore` \| `undefined` |
+
+#### Returns
+
+`void`
+
+---
+
+### subscribe()
+
+```ts
+subscribe(listener): () => void;
+```
+
+Defined in: [packages/play-view/src/view-session.ts:107](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L107)
+
+Adds a listener of new snapshots. The first listener connects the session: it
+watches the view of the actor, and it resolves again, which writes `/context` into a
+controlled store. The last release disconnects it and keeps the store, so a
+framework that subscribes again, such as React in `<StrictMode>`, finds its state.
+
+#### Parameters
+
+| Parameter  | Type         |
+| ---------- | ------------ |
+| `listener` | () => `void` |
+
+#### Returns
+
+The release of the listener.
+
+() => `void`

package/api/@xmachines/play-view/index/interfaces/ViewSessionOptions.md

@@ -0,0 +1,12 @@
+[API](../../../../README.md) / [@xmachines/play-view](../../README.md) / [index](../README.md) / ViewSessionOptions
+
+# Interface: ViewSessionOptions
+
+Defined in: [packages/play-view/src/view-session.ts:68](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L68)
+
+## Properties
+
+| Property                                        | Type                     | Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    | Defined in                                                                                                                                            |
+| ----------------------------------------------- | ------------------------ | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-createstore"></a> `createStore` | (`seed`) => `StateStore` | The store factory of the framework. It receives the seed of the view.                                                                                                                                                                                                                                                                                                                                                                                                                          | [packages/play-view/src/view-session.ts:70](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L70) |
+| <a id="property-onfailure"></a> `onFailure?`    | (`error`) => `void`      | Receives a failure of the resolution, and a failure of the root that [ViewSession.failView](ViewSession.md#failview) records, one time for each attempt. Leave it out when the boundary of the framework reports a failure that the provider throws under it. A failure of the resolution arrives never inside a render. A failure of the root arrives in the call of `failView`, so it arrives where the provider calls it: in the error hook of the framework, which can run inside a patch. | [packages/play-view/src/view-session.ts:80](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L80) |

package/api/@xmachines/play-view/index/interfaces/ViewSessionSnapshot.md

@@ -0,0 +1,23 @@
+[API](../../../../README.md) / [@xmachines/play-view](../../README.md) / [index](../README.md) / ViewSessionSnapshot
+
+# Interface: ViewSessionSnapshot\<TActor\>
+
+Defined in: [packages/play-view/src/view-session.ts:44](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L44)
+
+The result of the last resolution. A new resolution makes a new object.
+
+## Type Parameters
+
+| Type Parameter                                                                                    | Default type                                | Description                            |
+| ------------------------------------------------------------------------------------------------- | ------------------------------------------- | -------------------------------------- |
+| <a id="type-parameter-tactor"></a> `TActor` _extends_ [`ViewActor`](../type-aliases/ViewActor.md) | [`ViewActor`](../type-aliases/ViewActor.md) | The type of the actor of the provider. |
+
+## Properties
+
+| Property                                      | Modifier   | Type                                   | Description                                                                                                                                                                                                                                                                                                               | Defined in                                                                                                                                            |
+| --------------------------------------------- | ---------- | -------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-actor"></a> `actor`           | `readonly` | `TActor`                               | The actor whose view this is. Between a new actor prop and its `setInputs()`, the snapshot still shows the view of the old actor. A provider that can render in that gap, such as play-react, whose session takes the prop in a layout effect, hands this actor to its descendants, so that the actor and the view agree. | [packages/play-view/src/view-session.ts:51](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L51) |
+| <a id="property-failure"></a> `failure`       | `readonly` | \| \{ `error`: `unknown`; \} \| `null` | The failure of this resolution, or `null`.                                                                                                                                                                                                                                                                                | [packages/play-view/src/view-session.ts:65](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L65) |
+| <a id="property-generation"></a> `generation` | `readonly` | `number`                               | The generation of the store, from the lifecycle. A provider keys its subtree on it: a new generation is a new store, and the subtree builds again.                                                                                                                                                                        | [packages/play-view/src/view-session.ts:63](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L63) |
+| <a id="property-store"></a> `store`           | `readonly` | `StateStore` \| `null`                 | The store of the view, with the guard of `/context`. It is `null` for a gap and for a failed resolution.                                                                                                                                                                                                                  | [packages/play-view/src/view-session.ts:58](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L58) |
+| <a id="property-view"></a> `view`             | `readonly` | [`PlaySpec`](PlaySpec.md) \| `null`    | The view that the actor held at the resolution, or `null` for a gap.                                                                                                                                                                                                                                                      | [packages/play-view/src/view-session.ts:53](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-session.ts#L53) |

package/api/@xmachines/play-view/index/interfaces/ViewStoreLifecycle.md

@@ -2,17 +2,36 @@
 
 # Interface: ViewStoreLifecycle
 
-Defined in: [packages/play-view/src/view-store-lifecycle.ts:97](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L97)
+Defined in: [packages/play-view/src/view-store-lifecycle.ts:101](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L101)
 
 ## Methods
 
+### renew()
+
+```ts
+renew(): void;
+```
+
+Defined in: [packages/play-view/src/view-store-lifecycle.ts:125](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L125)
+
+Gives the next resolution a new generation, and keeps the store. A provider keys its
+subtree on the generation, so the next resolution mounts a new subtree with the same
+state. The view session calls it after a failure of the root: the root boundary of
+json-render stays failed while its subtree stays mounted.
+
+#### Returns
+
+`void`
+
+---
+
 ### reset()
 
 ```ts
 reset(): void;
 ```
 
-Defined in: [packages/play-view/src/view-store-lifecycle.ts:114](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L114)
+Defined in: [packages/play-view/src/view-store-lifecycle.ts:118](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L118)
 
 Drops everything, on an unmount or a disconnect. The next resolve makes a new seed.
 
@@ -33,7 +52,7 @@ resolve(
 ): ViewStoreResolution;
 ```
 
-Defined in: [packages/play-view/src/view-store-lifecycle.ts:107](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L107)
+Defined in: [packages/play-view/src/view-store-lifecycle.ts:111](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L111)
 
 Brings the store in line with an emission, and returns it with its guard.
 

package/api/@xmachines/play-view/index/interfaces/ViewStoreResolution.md

@@ -2,14 +2,15 @@
 
 # Interface: ViewStoreResolution
 
-Defined in: [packages/play-view/src/view-store-lifecycle.ts:68](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L68)
+Defined in: [packages/play-view/src/view-store-lifecycle.ts:65](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L65)
 
 The result of a resolve — see [ViewStoreLifecycle.resolve](ViewStoreLifecycle.md#resolve).
 
 ## Properties
 
-| Property                                          | Type         | Description                                                                                                                                                                                                                                                                       | Defined in                                                                                                                                                       |
-| ------------------------------------------------- | ------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-guardedstore"></a> `guardedStore` | `StateStore` | The store to give to the children ($bindState, setState, and a chained set): a write under /context throws. There is one wrapper for each store below it, and the code caches the identity. Therefore a consumer in the style of `useSyncExternalStore` stays stable.             | [packages/play-view/src/view-store-lifecycle.ts:77](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L77) |
-| <a id="property-reseeded"></a> `reseeded`         | `boolean`    | It is true when this resolve made a new store: at the first resolve, on a change of the viewKey, in the fallback for each emission, and on a change of the actor. A provider that mounts a subtree again for each store, such as the storeKey of Vue, uses this field as its key. | [packages/play-view/src/view-store-lifecycle.ts:84](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L84) |
-| <a id="property-store"></a> `store`               | `StateStore` | The store WITHOUT the guard — the reference of the machinery for its own refresh.                                                                                                                                                                                                 | [packages/play-view/src/view-store-lifecycle.ts:70](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-store-lifecycle.ts#L70) |
+| Property                                          | Type         | Description                                                                                                                                                                                                                                                                                                   | Defined in                                                                                                                                                            |
+| ------------------------------------------------- | ------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-generation"></a> `generation`     | `number`     | A number that changes each time that the store of the children changes identity: a new seed, a new controlled store, or the first resolve after a reset. A provider keys its subtree on it, so that a new store also drops the state that a component keeps for itself, such as the text of an unbound input. | [packages/play-view/src/view-store-lifecycle.ts:88](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L88) |
+| <a id="property-guardedstore"></a> `guardedStore` | `StateStore` | The store to give to the children ($bindState, setState, and a chained set): a write under /context throws. There is one wrapper for each store below it, and the code caches the identity. Therefore a consumer in the style of `useSyncExternalStore` stays stable.                                         | [packages/play-view/src/view-store-lifecycle.ts:74](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L74) |
+| <a id="property-reseeded"></a> `reseeded`         | `boolean`    | It is true when this resolve made a new store: at the first resolve, on a change of the viewKey, in the fallback for each emission, and on a change of the actor. A provider keys its subtree on [generation](#property-generation), which also covers a new controlled store.                                | [packages/play-view/src/view-store-lifecycle.ts:81](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L81) |
+| <a id="property-store"></a> `store`               | `StateStore` | The store WITHOUT the guard — the reference of the machinery for its own refresh.                                                                                                                                                                                                                             | [packages/play-view/src/view-store-lifecycle.ts:67](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-store-lifecycle.ts#L67) |

package/api/@xmachines/play-view/index/interfaces/ViewTree.md

@@ -2,14 +2,14 @@
 
 # Interface: ViewTree
 
-Defined in: [packages/play-view/src/compose-views.ts:23](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/compose-views.ts#L23)
+Defined in: [packages/play-view/src/compose-views.ts:27](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/compose-views.ts#L27)
 
 The resolved view of one active state node, and the resolved views of its children.
 
 ## Properties
 
-| Property                                  | Modifier   | Type                                           | Description                                                                                                             | Defined in                                                                                                                                         |
-| ----------------------------------------- | ---------- | ---------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-children"></a> `children` | `readonly` | readonly [`ViewTreeChild`](ViewTreeChild.md)[] | The resolved view of each active child, in the order of the machine. It is empty for a view that declares no `outlets`. | [packages/play-view/src/compose-views.ts:32](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/compose-views.ts#L32) |
-| <a id="property-id"></a> `id`             | `readonly` | `string`                                       | The id of the state node that declares `view`.                                                                          | [packages/play-view/src/compose-views.ts:25](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/compose-views.ts#L25) |
-| <a id="property-view"></a> `view`         | `readonly` | [`ViewMeta`](ViewMeta.md)                      | The `meta.view` of that state node, as the author wrote it.                                                             | [packages/play-view/src/compose-views.ts:27](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/compose-views.ts#L27) |
+| Property                                  | Modifier   | Type                                           | Description                                                                                                             | Defined in                                                                                                                                              |
+| ----------------------------------------- | ---------- | ---------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-children"></a> `children` | `readonly` | readonly [`ViewTreeChild`](ViewTreeChild.md)[] | The resolved view of each active child, in the order of the machine. It is empty for a view that declares no `outlets`. | [packages/play-view/src/compose-views.ts:36](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/compose-views.ts#L36) |
+| <a id="property-id"></a> `id`             | `readonly` | `string`                                       | The id of the state node that declares `view`.                                                                          | [packages/play-view/src/compose-views.ts:29](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/compose-views.ts#L29) |
+| <a id="property-view"></a> `view`         | `readonly` | [`ViewMeta`](ViewMeta.md)                      | The `meta.view` of that state node, as the author wrote it.                                                             | [packages/play-view/src/compose-views.ts:31](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/compose-views.ts#L31) |

package/api/@xmachines/play-view/index/interfaces/ViewTreeChild.md

@@ -2,13 +2,13 @@
 
 # Interface: ViewTreeChild
 
-Defined in: [packages/play-view/src/compose-views.ts:36](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/compose-views.ts#L36)
+Defined in: [packages/play-view/src/compose-views.ts:40](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/compose-views.ts#L40)
 
 One active child of a [ViewTree](ViewTree.md).
 
 ## Properties
 
-| Property                          | Modifier   | Type                      | Description                                                                      | Defined in                                                                                                                                         |
-| --------------------------------- | ---------- | ------------------------- | -------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-key"></a> `key`   | `readonly` | `string`                  | The key of the child in the `states` of its parent. The outlets are keyed on it. | [packages/play-view/src/compose-views.ts:38](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/compose-views.ts#L38) |
-| <a id="property-tree"></a> `tree` | `readonly` | [`ViewTree`](ViewTree.md) | The resolved view of the child.                                                  | [packages/play-view/src/compose-views.ts:40](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/compose-views.ts#L40) |
+| Property                          | Modifier   | Type                      | Description                                                                      | Defined in                                                                                                                                              |
+| --------------------------------- | ---------- | ------------------------- | -------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-key"></a> `key`   | `readonly` | `string`                  | The key of the child in the `states` of its parent. The outlets are keyed on it. | [packages/play-view/src/compose-views.ts:42](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/compose-views.ts#L42) |
+| <a id="property-tree"></a> `tree` | `readonly` | [`ViewTree`](ViewTree.md) | The resolved view of the child.                                                  | [packages/play-view/src/compose-views.ts:44](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/compose-views.ts#L44) |

package/api/@xmachines/play-view/index/interfaces/Viewable.md

@@ -2,7 +2,7 @@
 
 # Interface: Viewable
 
-Defined in: [packages/play-view/src/view-types.ts:143](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L143)
+Defined in: [packages/play-view/src/view-types.ts:138](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-types.ts#L138)
 
 The actor capability that exposes a renderable view state.
 
@@ -13,6 +13,6 @@ therefore holds no view logic.
 
 ## Properties
 
-| Property                                        | Modifier   | Type                                                                                                   | Description                                                                                                                                                                                               | Defined in                                                                                                                                     |
-| ----------------------------------------------- | ---------- | ------------------------------------------------------------------------------------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-currentview"></a> `currentView` | `readonly` | [`ReadonlyAtom`](../../../play-atom/interfaces/ReadonlyAtom.md)\<[`PlaySpec`](PlaySpec.md) \| `null`\> | The atom of the current view. It holds the json-render PlaySpec of the current machine state, or null when no view is active. The infrastructure renders the view. This is the Logic-Driven UI invariant. | [packages/play-view/src/view-types.ts:150](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L150) |
+| Property                                        | Modifier   | Type                                                                                                   | Description                                                                                                                                                                                               | Defined in                                                                                                                                          |
+| ----------------------------------------------- | ---------- | ------------------------------------------------------------------------------------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-currentview"></a> `currentView` | `readonly` | [`ReadonlyAtom`](../../../play-atom/interfaces/ReadonlyAtom.md)\<[`PlaySpec`](PlaySpec.md) \| `null`\> | The atom of the current view. It holds the json-render PlaySpec of the current machine state, or null when no view is active. The infrastructure renders the view. This is the Logic-Driven UI invariant. | [packages/play-view/src/view-types.ts:145](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-types.ts#L145) |

package/api/@xmachines/play-view/index/type-aliases/StateUpdater.md

@@ -0,0 +1,21 @@
+[API](../../../../README.md) / [@xmachines/play-view](../../README.md) / [index](../README.md) / StateUpdater
+
+# Type Alias: StateUpdater
+
+```ts
+type StateUpdater = (updater) => void;
+```
+
+Defined in: [packages/play-view/src/provider-guards.ts:194](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/provider-guards.ts#L194)
+
+The update of the state that a `defineRegistry` handler asks for.
+
+## Parameters
+
+| Parameter | Type                                        |
+| --------- | ------------------------------------------- |
+| `updater` | (`prev`) => `Record`\<`string`, `unknown`\> |
+
+## Returns
+
+`void`

package/api/@xmachines/play-view/index/type-aliases/ViewActor.md

@@ -6,7 +6,7 @@
 type ViewActor<TSnapshot, TEvent> = PlayActor<TSnapshot, TEvent> & Viewable;
 ```
 
-Defined in: [packages/play-view/src/view-types.ts:190](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L190)
+Defined in: [packages/play-view/src/view-types.ts:185](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/view-types.ts#L185)
 
 The actor that a view provider reads: the contract, and the view capability.
 
@@ -20,7 +20,7 @@ It does NOT name `Routable`. The view implies no routing.
 
 ## Type Parameters
 
-| Type Parameter                                                                  | Default type                                                 | Description                           |
-| ------------------------------------------------------------------------------- | ------------------------------------------------------------ | ------------------------------------- |
-| `TSnapshot`                                                                     | `unknown`                                                    | The snapshot type that `state` holds. |
-| `TEvent` _extends_ [`ActorEvent`](../../../play-actor/interfaces/ActorEvent.md) | [`ActorEvent`](../../../play-actor/interfaces/ActorEvent.md) | The event union that `send` accepts.  |
+| Type Parameter                                                                                                     | Default type                                                 | Description                           |
+| ------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------ | ------------------------------------- |
+| <a id="type-parameter-tsnapshot"></a> `TSnapshot`                                                                  | `unknown`                                                    | The snapshot type that `state` holds. |
+| <a id="type-parameter-tevent"></a> `TEvent` _extends_ [`ActorEvent`](../../../play-actor/interfaces/ActorEvent.md) | [`ActorEvent`](../../../play-actor/interfaces/ActorEvent.md) | The event union that `send` accepts.  |

package/api/@xmachines/play-view/index/variables/CONTEXT_STATE_KEY.md

@@ -6,7 +6,7 @@
 const CONTEXT_STATE_KEY: "context" = "context";
 ```
 
-Defined in: [packages/play-view/src/context-projection.ts:34](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/context-projection.ts#L34)
+Defined in: [packages/play-view/src/context-projection.ts:34](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v7.1.0/packages/play-view/src/context-projection.ts#L34)
 
 The reserved top-level state key of the projection.