@xmachines/docs 6.1.0 → 8.0.0-next.1

package/api/@xmachines/play-router/xstate/functions/isRouteReachable.md

@@ -6,21 +6,20 @@
 function isRouteReachable(graph, fromStateId, toStateId): boolean;
 ```
 
-Defined in: [packages/play-router/src/xstate/query.ts:201](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/query.ts#L201)
+Defined in: [packages/play-router/src/xstate/query.ts:198](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/query.ts#L198)
 
 Tells you if a transition from the current state can reach a route
 
-The function uses the path search of @statelyai/graph. It decides if a chain of
-transition edges is present from the state of the origin to the state of the
-target.
+The function searches the graph breadth first. It decides if a chain of transition
+edges is present from the state of the origin to the state of the target.
 
 ## Parameters
 
-| Parameter     | Type                                                                                                                    | Description                             |
-| ------------- | ----------------------------------------------------------------------------------------------------------------------- | --------------------------------------- |
-| `graph`       | `Graph`\<[`MachineNodeData`](../interfaces/MachineNodeData.md), [`MachineEdgeData`](../interfaces/MachineEdgeData.md)\> | The machine graph, from RouteTree.graph |
-| `fromStateId` | `string`                                                                                                                | The ID of the state of the origin       |
-| `toStateId`   | `string`                                                                                                                | The ID of the state of the target       |
+| Parameter     | Type                                                                                                                                              | Description                             |
+| ------------- | ------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------- |
+| `graph`       | [`Graph`](../interfaces/Graph.md)\<[`MachineNodeData`](../interfaces/MachineNodeData.md), [`MachineEdgeData`](../interfaces/MachineEdgeData.md)\> | The machine graph, from RouteTree.graph |
+| `fromStateId` | `string`                                                                                                                                          | The ID of the state of the origin       |
+| `toStateId`   | `string`                                                                                                                                          | The ID of the state of the target       |
 
 ## Returns
 

package/api/@xmachines/play-router/xstate/functions/machineToGraph.md

@@ -6,7 +6,7 @@
 function machineToGraph(machine): MachineGraph;
 ```
 
-Defined in: [packages/play-router/src/xstate/machine-to-graph.ts:73](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-to-graph.ts#L73)
+Defined in: [packages/play-router/src/xstate/machine-to-graph.ts:86](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-to-graph.ts#L86)
 
 ## Parameters
 

package/api/@xmachines/play-router/xstate/functions/routeExists.md

@@ -6,7 +6,7 @@
 function routeExists(tree, path): boolean;
 ```
 
-Defined in: [packages/play-router/src/xstate/query.ts:143](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/query.ts#L143)
+Defined in: [packages/play-router/src/xstate/query.ts:142](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/query.ts#L142)
 
 Tells you if a route path is in the tree
 

package/api/@xmachines/play-router/xstate/interfaces/Graph.md

@@ -0,0 +1,26 @@
+[API](../../../../README.md) / [@xmachines/play-router](../../README.md) / [xstate](../README.md) / Graph
+
+# Interface: Graph\<TNodeData, TEdgeData\>
+
+Defined in: [packages/play-router/src/xstate/graph.ts:54](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L54)
+
+A directed graph with a hierarchy of nodes.
+
+Each edge points from its `sourceId` to its `targetId`. The `parentId` of a node gives the
+hierarchy, and it is no edge. Read the nodes and the edges directly, or give the graph to a
+graph library of your choice.
+
+## Type Parameters
+
+| Type Parameter | Description           |
+| -------------- | --------------------- |
+| `TNodeData`    | The data on each node |
+| `TEdgeData`    | The data on each edge |
+
+## Properties
+
+| Property                                            | Modifier   | Type                                                  | Description                                                              | Defined in                                                                                                                                                       |
+| --------------------------------------------------- | ---------- | ----------------------------------------------------- | ------------------------------------------------------------------------ | ---------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-edges"></a> `edges`                 | `readonly` | readonly [`GraphEdge`](GraphEdge.md)\<`TEdgeData`\>[] | Every edge of the graph                                                  | [packages/play-router/src/xstate/graph.ts:60](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L60) |
+| <a id="property-initialnodeid"></a> `initialNodeId` | `readonly` | `string`                                              | The id of the root node                                                  | [packages/play-router/src/xstate/graph.ts:56](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L56) |
+| <a id="property-nodes"></a> `nodes`                 | `readonly` | readonly [`GraphNode`](GraphNode.md)\<`TNodeData`\>[] | Every node of the graph, the root first, each parent before its children | [packages/play-router/src/xstate/graph.ts:58](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L58) |

package/api/@xmachines/play-router/xstate/interfaces/GraphEdge.md

@@ -0,0 +1,22 @@
+[API](../../../../README.md) / [@xmachines/play-router](../../README.md) / [xstate](../README.md) / GraphEdge
+
+# Interface: GraphEdge\<TEdgeData\>
+
+Defined in: [packages/play-router/src/xstate/graph.ts:33](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L33)
+
+A directed edge of a [Graph](Graph.md): one transition of the machine.
+
+## Type Parameters
+
+| Type Parameter | Description                    |
+| -------------- | ------------------------------ |
+| `TEdgeData`    | The data that the edge carries |
+
+## Properties
+
+| Property                                  | Modifier   | Type        | Description                                    | Defined in                                                                                                                                                       |
+| ----------------------------------------- | ---------- | ----------- | ---------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-data"></a> `data`         | `readonly` | `TEdgeData` | The data of the edge                           | [packages/play-router/src/xstate/graph.ts:41](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L41) |
+| <a id="property-id"></a> `id`             | `readonly` | `string`    | The id of the edge. It is unique in its graph. | [packages/play-router/src/xstate/graph.ts:35](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L35) |
+| <a id="property-sourceid"></a> `sourceId` | `readonly` | `string`    | The id of the node that the edge starts at     | [packages/play-router/src/xstate/graph.ts:37](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L37) |
+| <a id="property-targetid"></a> `targetId` | `readonly` | `string`    | The id of the node that the edge points to     | [packages/play-router/src/xstate/graph.ts:39](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L39) |

package/api/@xmachines/play-router/xstate/interfaces/GraphNode.md

@@ -0,0 +1,21 @@
+[API](../../../../README.md) / [@xmachines/play-router](../../README.md) / [xstate](../README.md) / GraphNode
+
+# Interface: GraphNode\<TNodeData\>
+
+Defined in: [packages/play-router/src/xstate/graph.ts:16](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L16)
+
+A node of a [Graph](Graph.md): one state of the machine.
+
+## Type Parameters
+
+| Type Parameter | Description                    |
+| -------------- | ------------------------------ |
+| `TNodeData`    | The data that the node carries |
+
+## Properties
+
+| Property                                   | Modifier   | Type        | Description                                                                                          | Defined in                                                                                                                                                       |
+| ------------------------------------------ | ---------- | ----------- | ---------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-data"></a> `data`          | `readonly` | `TNodeData` | The data of the node                                                                                 | [packages/play-router/src/xstate/graph.ts:25](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L25) |
+| <a id="property-id"></a> `id`              | `readonly` | `string`    | The id of the node. It is unique in its graph, and it is not empty.                                  | [packages/play-router/src/xstate/graph.ts:18](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L18) |
+| <a id="property-parentid"></a> `parentId?` | `readonly` | `string`    | The id of the parent node in the hierarchy. A root node has no parent, and the field is then absent. | [packages/play-router/src/xstate/graph.ts:23](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/graph.ts#L23) |

package/api/@xmachines/play-router/xstate/interfaces/MachineEdgeData.md

@@ -2,14 +2,14 @@
 
 # Interface: MachineEdgeData
 
-Defined in: [packages/play-router/src/xstate/machine-types.ts:27](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-types.ts#L27)
+Defined in: [packages/play-router/src/xstate/machine-types.ts:27](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-types.ts#L27)
 
 The data on each edge of the graph that represents the machine.
-It holds the event of the transition and the information of its guard.
+It holds the event of the transition and its payload pattern.
 
 ## Properties
 
-| Property                                     | Type     | Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                      | Defined in                                                                                                                                                           |
-| -------------------------------------------- | -------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-eventtype"></a> `eventType`  | `string` | The event type that starts this transition                                                                                                                                                                                                                                                                                                                                                                                                                                       | [packages/play-router/src/xstate/machine-types.ts:29](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-types.ts#L29) |
-| <a id="property-guardtype"></a> `guardType?` | `string` | The guard as a string, when a guard is present XState 5 holds the guard of a transition as a value that `String()` describes, and `machineToGraph` writes that string here. The field carried a "removed in the next major" notice before, and it keeps no such notice now. XState 6 populates it never, so it leaves with the migration to XState 6 and not before: a removal while XState 5 fills it deletes a field that works, and it gives a consumer nothing in its place. | [packages/play-router/src/xstate/machine-types.ts:41](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-types.ts#L41) |
+| Property                                    | Type                            | Description                                                                                                                                                                                                                                                                                                                                                                                                                    | Defined in                                                                                                                                                                       |
+| ------------------------------------------- | ------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-eventtype"></a> `eventType` | `string`                        | The event type that starts this transition                                                                                                                                                                                                                                                                                                                                                                                     | [packages/play-router/src/xstate/machine-types.ts:29](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-types.ts#L29) |
+| <a id="property-matches"></a> `matches?`    | `Record`\<`string`, `unknown`\> | The payload pattern of the transition, when the transition declares one. XState 6 selects a transition by the `matches` field of its config: the transition applies only to an event whose fields equal the fields of the pattern. The generated `play.route` transitions of `@xmachines/play-xstate` use it, for example `{ to: "#home" }`. A transition function decides inside its body, and it therefore gives no pattern. | [packages/play-router/src/xstate/machine-types.ts:39](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-types.ts#L39) |

package/api/@xmachines/play-router/xstate/interfaces/MachineNodeData.md

@@ -2,16 +2,16 @@
 
 # Interface: MachineNodeData
 
-Defined in: [packages/play-router/src/xstate/machine-types.ts:12](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-types.ts#L12)
+Defined in: [packages/play-router/src/xstate/machine-types.ts:12](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-types.ts#L12)
 
 The data on each node of the graph that represents the machine.
 It holds the state metadata that the route extraction and the queries need.
 
 ## Properties
 
-| Property                                | Type                                                                   | Description                                                | Defined in                                                                                                                                                           |
-| --------------------------------------- | ---------------------------------------------------------------------- | ---------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-meta"></a> `meta?`      | `Record`\<`string`, `unknown`\>                                        | The original meta object of the state                      | [packages/play-router/src/xstate/machine-types.ts:18](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-types.ts#L18) |
-| <a id="property-route"></a> `route?`    | `string`                                                               | The route path of meta.route, in its string form           | [packages/play-router/src/xstate/machine-types.ts:20](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-types.ts#L20) |
-| <a id="property-stateid"></a> `stateId` | `string`                                                               | The XState state ID, for example "test.dashboard.overview" | [packages/play-router/src/xstate/machine-types.ts:14](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-types.ts#L14) |
-| <a id="property-type"></a> `type`       | `"atomic"` \| `"compound"` \| `"parallel"` \| `"final"` \| `"history"` | The state type of XState                                   | [packages/play-router/src/xstate/machine-types.ts:16](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-types.ts#L16) |
+| Property                                | Type                                                                                 | Description                                                | Defined in                                                                                                                                                                       |
+| --------------------------------------- | ------------------------------------------------------------------------------------ | ---------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-meta"></a> `meta?`      | `Record`\<`string`, `unknown`\>                                                      | The original meta object of the state                      | [packages/play-router/src/xstate/machine-types.ts:18](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-types.ts#L18) |
+| <a id="property-route"></a> `route?`    | `string`                                                                             | The route path of meta.route, in its string form           | [packages/play-router/src/xstate/machine-types.ts:20](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-types.ts#L20) |
+| <a id="property-stateid"></a> `stateId` | `string`                                                                             | The XState state ID, for example "test.dashboard.overview" | [packages/play-router/src/xstate/machine-types.ts:14](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-types.ts#L14) |
+| <a id="property-type"></a> `type`       | `"atomic"` \| `"compound"` \| `"parallel"` \| `"final"` \| `"history"` \| `"choice"` | The state type of XState                                   | [packages/play-router/src/xstate/machine-types.ts:16](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-types.ts#L16) |

package/api/@xmachines/play-router/xstate/type-aliases/MachineGraph.md

@@ -6,16 +6,14 @@
 type MachineGraph = Graph<MachineNodeData, MachineEdgeData>;
 ```
 
-Defined in: [packages/play-router/src/xstate/machine-to-graph.ts:19](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-router/src/xstate/machine-to-graph.ts#L19)
+Defined in: [packages/play-router/src/xstate/machine-to-graph.ts:17](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-router/src/xstate/machine-to-graph.ts#L17)
 
-The typed Graph of @statelyai/graph that represents a state machine.
-It gives you the queries of the hierarchy, the algorithms of a walk, and the tests
-of the reachability.
+The typed [Graph](../interfaces/Graph.md) that represents a state machine.
+Its nodes give the hierarchy of the states, and its edges give the transitions.
 
 ## Example
 
 ```typescript
-import { getChildren, getSuccessors, hasPath } from "@statelyai/graph";
 const graph: MachineGraph = machineToGraph(machine);
-const children = getChildren(graph, "myMachine");
+const children = graph.nodes.filter((node) => node.parentId === "myMachine");
 ```

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

@@ -4,7 +4,7 @@
 
 > Solid renderer for 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-solid)
+[![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-solid)
 
 The SolidJS rendering layer observes the actor atoms and renders the UI components through `@xmachines/json-render-solid`. SolidJS reactivity only triggers the re-render. The atoms are the source of truth.
 
@@ -17,9 +17,11 @@ pnpm add @xmachines/play-solid
 **Peer dependencies.** Install them with the package:
 
 ```bash
-pnpm add solid-js @xmachines/core @xmachines/play @xmachines/play-atom @xstate/store @xmachines/json-render-solid @xmachines/json-render-core @xmachines/json-render-xstate
+pnpm add solid-js @xmachines/core @xmachines/play @xmachines/play-atom @xstate/store@^5.0.0-alpha.8 @xmachines/json-render-solid@0.21.0-xm.7 @xmachines/json-render-core@0.21.0-xm.7 @xmachines/json-render-xstate@0.21.0-xm.7
 ```
 
+The json-render packages are exact peers: install the version that this release names, `0.21.0-xm.7`.
+
 `@xstate/store` is the peer of [`@xmachines/play-atom`](../play-atom/README.md), and not of this
 package: this package reads the atom through [`@xmachines/play-atom`](../play-atom/README.md) and
 imports the engine in no source file. Install ONE copy of it.
@@ -31,13 +33,22 @@ import { PlayUIProvider, PlayRenderer, defineRegistry, schema } from "@xmachines
 import { definePlayer, compose, PlayerActor } from "@xmachines/play-xstate";
 import { withView } from "@xmachines/play-xstate/view";
 import { defineCatalog } from "@xmachines/json-render-core";
-import { myMachine } from "./machine.js"; // your xstate machine (states carry meta.view specs)
-// authCatalogDef is a plain object describing components/actions — in this repo it
-// comes from the workspace-only @xmachines/play-actor-shared demo package
-import { authCatalogDef } from "@xmachines/play-actor-shared";
+import type { AnyStateMachine } from "xstate";
+import { z } from "zod";
+
+declare const myMachine: AnyStateMachine; // your xstate machine (states carry meta.view specs)
 
 // 1. Define a catalog
-const catalog = defineCatalog(schema, authCatalogDef);
+const catalog = defineCatalog(schema, {
+	components: {
+		Home: { props: z.object({}) },
+		Login: { props: z.object({ username: z.string().optional() }) },
+	},
+	actions: {
+		login: { params: z.object({ username: z.string() }) },
+		logout: {},
+	},
+});
 
 // 2. Create and start an actor — a renderer needs the view capability
 const createPlayer = definePlayer({ machine: myMachine, actor: compose(PlayerActor, withView) });
@@ -51,7 +62,9 @@ const registryResult = defineRegistry(catalog, {
 		Login: (ctx) => <div>Login {ctx.props.username && <span>{ctx.props.username}</span>}</div>,
 	},
 	actions: {
-		login: async (args) => actor.send({ type: "auth.login", username: args.username }),
+		login: async (args) => {
+			if (args) actor.send({ type: "auth.login", username: args.username });
+		},
 		logout: async () => actor.send({ type: "auth.logout" }),
 	},
 });
@@ -73,9 +86,14 @@ function App() {
 `PlayUIProvider` is the standard entry point. It wraps `ActorProvider` and `JSONUIProvider` into one composite provider. `PlayRenderer` is a leaf component without props. It reads the view context and renders the current spec.
 
 ```tsx
-import { PlayUIProvider, PlayRenderer, defineRegistry } from "@xmachines/play-solid";
+import { PlayUIProvider, PlayRenderer, type PlayUIProviderProps } from "@xmachines/play-solid";
 
 // actor, registryResult from the Quick Start above
+declare const actor: PlayUIProviderProps["actor"];
+declare const registryResult: PlayUIProviderProps["registryResult"];
+declare const navigateFn: (path: string) => void; // your navigation callback
+declare const valFns: NonNullable<PlayUIProviderProps["validationFunctions"]>; // your form validation helpers
+
 <PlayUIProvider
 	actor={actor}
 	registryResult={registryResult}
@@ -93,9 +111,12 @@ import { PlayUIProvider, PlayRenderer, defineRegistry } from "@xmachines/play-so
 For library authors who need direct control over provider composition:
 
 ```tsx
-import { ActorProvider, PlayRenderer } from "@xmachines/play-solid";
+import { ActorProvider, PlayRenderer, type ActorProviderProps } from "@xmachines/play-solid";
 
 // actor, registryResult from the Quick Start above
+declare const actor: ActorProviderProps["actor"];
+declare const registryResult: ActorProviderProps["registryResult"];
+
 <ActorProvider actor={actor} registryResult={registryResult}>
 	<PlayRenderer />
 </ActorProvider>;
@@ -134,7 +155,7 @@ const MyRenderer = () => {
 > instead of building the tree again — which is what keeps the focus and the caret of an
 > input alive while a stream writes into the view.
 >
-> ```tsx
+> ```tsx fragment
 > // ✅ The Renderer reads `view.spec` inside its own tracking scope, so it follows.
 > const view = usePlayView();
 > return <Renderer spec={view.spec} registry={view.registry} />;
@@ -235,6 +256,7 @@ import { ActorProvider, ActorContext, usePlayView } from "@xmachines/play-solid"
 - [JSONUIProviderProps](interfaces/JSONUIProviderProps.md)
 - [PlayUIProviderProps](interfaces/PlayUIProviderProps.md)
 - [RendererProps](interfaces/RendererProps.md)
+- [RenderErrorInfo](interfaces/RenderErrorInfo.md)
 - [StateProviderProps](interfaces/StateProviderProps.md)
 - [ValidationProviderProps](interfaces/ValidationProviderProps.md)
 - [ViewContextValue](interfaces/ViewContextValue.md)
@@ -244,7 +266,9 @@ import { ActorProvider, ActorContext, usePlayView } from "@xmachines/play-solid"
 - [AnyPlayActor](type-aliases/AnyPlayActor.md)
 - [ComponentFn](type-aliases/ComponentFn.md)
 - [ComponentRegistry](type-aliases/ComponentRegistry.md)
+- [OnRenderError](type-aliases/OnRenderError.md)
 - [RenderErrorHandler](type-aliases/RenderErrorHandler.md)
+- [RenderErrorKind](type-aliases/RenderErrorKind.md)
 - [SetState](type-aliases/SetState.md)
 - [VisibilityProviderProps](type-aliases/VisibilityProviderProps.md)
 

package/api/@xmachines/play-solid/functions/useActor.md

@@ -6,7 +6,7 @@
 function useActor(): AnyPlayActor;
 ```
 
-Defined in: [packages/play-solid/src/useActor.ts:47](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-solid/src/useActor.ts#L47)
+Defined in: [packages/play-solid/src/useActor.ts:47](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-solid/src/useActor.ts#L47)
 
 ## Returns
 

package/api/@xmachines/play-solid/functions/useBoundProp.md

@@ -16,6 +16,9 @@ Hook for two-way bound props. Returns `[value, setValue]` where:
 Designed to work with the `bindings` map that the renderer provides when
 a prop uses `{ $bindState: "/path" }` or `{ $bindItem: "field" }`.
 
+`bindingPath` can be an accessor, such as `() => ctx.bindings?.value`,
+which follows the path of now. A plain path is the path of the mount.
+
 ## Type Parameters
 
 | Type Parameter |
@@ -24,10 +27,10 @@ a prop uses `{ $bindState: "/path" }` or `{ $bindItem: "field" }`.
 
 ## Parameters
 
-| Parameter     | Type                    |
-| ------------- | ----------------------- |
-| `propValue`   | `T` \| `undefined`      |
-| `bindingPath` | `string` \| `undefined` |
+| Parameter     | Type                                                             |
+| ------------- | ---------------------------------------------------------------- |
+| `propValue`   | `T` \| `undefined`                                               |
+| `bindingPath` | `string` \| `Accessor`\<`string` \| `undefined`\> \| `undefined` |
 
 ## Returns
 
@@ -39,7 +42,7 @@ a prop uses `{ $bindState: "/path" }` or `{ $bindItem: "field" }`.
 import { useBoundProp } from "@xmachines/json-render-solid";
 
 const Input: ComponentRenderer = (ctx) => {
-	const [value, setValue] = useBoundProp<string>(ctx.props.value, ctx.bindings?.value);
+	const [value, setValue] = useBoundProp<string>(ctx.props.value, () => ctx.bindings?.value);
 	return <input value={value ?? ""} onInput={(e) => setValue(e.target.value)} />;
 };
 ```

package/api/@xmachines/play-solid/functions/useFieldValidation.md

@@ -8,12 +8,14 @@ function useFieldValidation(path, config?): object;
 
 Defined in: `@xmachines/json-render-solid`
 
+The validation of the field of `path`.
+
 ## Parameters
 
-| Parameter | Type               |
-| --------- | ------------------ |
-| `path`    | `string`           |
-| `config?` | `ValidationConfig` |
+| Parameter | Type                                                                  | Description                                                                                                                                                                                                                                                                              |
+| --------- | --------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `path`    | `string` \| `Accessor`\<`string` \| `undefined`\>                     | The path, or an accessor of the path, such as `() => props.bindings?.value`. A Solid component runs one time, so a plain path is the path of the mount. An accessor follows the path of now: in a row of a keyed repeat that moves, and for a binding that a later spec adds or removes. |
+| `config?` | `ValidationConfig` \| `Accessor`\<`ValidationConfig` \| `undefined`\> | The config, or an accessor of it, such as `() => ({ checks: [...props.checks] })`. A config with a new value registers the field again.                                                                                                                                                  |
 
 ## Returns
 

package/api/@xmachines/play-solid/functions/usePlayView.md

@@ -6,7 +6,7 @@
 function usePlayView(): ViewContextValue;
 ```
 
-Defined in: [packages/play-solid/src/ActorProvider.tsx:99](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-solid/src/ActorProvider.tsx#L99)
+Defined in: [packages/play-solid/src/ActorProvider.tsx:102](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-solid/src/ActorProvider.tsx#L102)
 
 The hook that gives the current view context inside an ActorProvider tree.
 

package/api/@xmachines/play-solid/functions/useStateBinding.md

@@ -8,6 +8,8 @@ function useStateBinding<T>(path): [Accessor<T | undefined>, (value) => void];
 
 Defined in: `@xmachines/json-render-solid`
 
+The value of the state at `path`, and a setter of it.
+
 ## Type Parameters
 
 | Type Parameter |
@@ -16,9 +18,9 @@ Defined in: `@xmachines/json-render-solid`
 
 ## Parameters
 
-| Parameter | Type     |
-| --------- | -------- |
-| `path`    | `string` |
+| Parameter | Type                                              | Description                                                 |
+| --------- | ------------------------------------------------- | ----------------------------------------------------------- |
+| `path`    | `string` \| `Accessor`\<`string` \| `undefined`\> | The path, or an accessor of the path (see `useStateValue`). |
 
 ## Returns
 

package/api/@xmachines/play-solid/functions/useStateValue.md

@@ -8,6 +8,8 @@ function useStateValue<T>(path): Accessor<T | undefined>;
 
 Defined in: `@xmachines/json-render-solid`
 
+The value of the state at `path`.
+
 ## Type Parameters
 
 | Type Parameter |
@@ -16,9 +18,9 @@ Defined in: `@xmachines/json-render-solid`
 
 ## Parameters
 
-| Parameter | Type     |
-| --------- | -------- |
-| `path`    | `string` |
+| Parameter | Type                                              | Description                                                                                                 |
+| --------- | ------------------------------------------------- | ----------------------------------------------------------------------------------------------------------- |
+| `path`    | `string` \| `Accessor`\<`string` \| `undefined`\> | The path, or an accessor of the path, such as `() => props.bindings?.value`, which follows the path of now. |
 
 ## Returns
 

package/api/@xmachines/play-solid/interfaces/ActorProviderProps.md

@@ -2,7 +2,7 @@
 
 # Interface: ActorProviderProps
 
-Defined in: [packages/play-solid/src/ActorProvider.tsx:113](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-solid/src/ActorProvider.tsx#L113)
+Defined in: [packages/play-solid/src/ActorProvider.tsx:116](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-solid/src/ActorProvider.tsx#L116)
 
 The props of ActorProvider, the low-level provider.
 
@@ -19,12 +19,12 @@ with JSONUIProvider and with every necessary sub-provider.
 
 ## Properties
 
-| Property                                              | Type                                                           | Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   | Inherited from                                                                                                                                                                                | Defined in                                                                                                                                               |
-| ----------------------------------------------------- | -------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-actor"></a> `actor`                   | [`ViewActor`](../../play-view/index/type-aliases/ViewActor.md) | The actor instance with the currentView atom. It requires the Viewable capability.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            | [`BaseActorProviderProps`](../../play-view/index/interfaces/BaseActorProviderProps.md).[`actor`](../../play-view/index/interfaces/BaseActorProviderProps.md#property-actor)                   | [packages/play-view/src/view-types.ts:224](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L224)           |
-| <a id="property-children"></a> `children`             | `any`                                                          | The children. They are necessary, and they must hold a <PlayRenderer />. You can also use the PlayUIProvider short form                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       | -                                                                                                                                                                                             | [packages/play-solid/src/ActorProvider.tsx:154](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-solid/src/ActorProvider.tsx#L154) |
-| <a id="property-fallback"></a> `fallback?`            | `any`                                                          | The optional fallback element. The provider shows it when currentView is null, and when the ErrorBoundary catches an error                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    | -                                                                                                                                                                                             | [packages/play-solid/src/ActorProvider.tsx:117](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-solid/src/ActorProvider.tsx#L117) |
-| <a id="property-onerror"></a> `onError?`              | (`error`, `reset`) => `void`                                   | The optional callback. The provider calls it when the SolidJS ErrorBoundary catches an error. While the error is active, the provider renders the `fallback` instead of its children. The provider clears the error on the next view emission (when `currentView` changes), so a view transition retries the render. Element-level catalog component throws are caught upstream by the per-element boundary of @json-render, and reported through `onRenderError`. This boundary is the outer net for everything else. The second parameter is the RESET, for a retry that the host starts — a "Retry" button of its own. It clears the caught error and renders again, and it resolves the view that the actor holds at the MOMENT OF THE CALL, so a host that keeps the callback cannot rewind the screen to the view that failed. A reset that the host calls from inside this handler starts no second retry, because no input changed between the two attempts, and a reset after the provider is disposed does nothing. The five renderers hold the same three rules. **A handler that THROWS reaches no caller.** The provider contains that throw, and it writes the throw to `console.error`. The fallback of this boundary is the RETURN of the callback that reports, so a throw that left this handler would take the fallback off the screen AND let the error escape the boundary. Report a failure from this handler. To ESCALATE one, raise it from a task of your own — `rethrowLater(error)` of `@xmachines/core/utils` — which reaches the global handler of the page and leaves the containment whole. The host installs `@xmachines/core` itself. The five renderers hold this one rule. | -                                                                                                                                                                                             | [packages/play-solid/src/ActorProvider.tsx:149](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-solid/src/ActorProvider.tsx#L149) |
-| <a id="property-onrendererror"></a> `onRenderError?`  | [`RenderErrorHandler`](../type-aliases/RenderErrorHandler.md)  | The provider calls it when one catalog component throws during a render. This handler replaces every onRenderError of defineRegistry.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         | [`BaseActorProviderProps`](../../play-view/index/interfaces/BaseActorProviderProps.md).[`onRenderError`](../../play-view/index/interfaces/BaseActorProviderProps.md#property-onrendererror)   | [packages/play-view/src/view-types.ts:238](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L238)           |
-| <a id="property-registryresult"></a> `registryResult` | [`DefineRegistryResult`](DefineRegistryResult.md)              | The complete result of defineRegistry(). It holds the component registry and the factory of the action handlers.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              | [`BaseActorProviderProps`](../../play-view/index/interfaces/BaseActorProviderProps.md).[`registryResult`](../../play-view/index/interfaces/BaseActorProviderProps.md#property-registryresult) | [packages/play-view/src/view-types.ts:226](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L226)           |
-| <a id="property-store"></a> `store?`                  | `StateStore`                                                   | The optional external StateStore, which is the controlled mode. With this option, the provider ignores spec.state, and this store is the single source of truth. Without it, the provider makes a new @xstate/store atom for each view transition, with the values of spec.state.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | [`BaseActorProviderProps`](../../play-view/index/interfaces/BaseActorProviderProps.md).[`store`](../../play-view/index/interfaces/BaseActorProviderProps.md#property-store)                   | [packages/play-view/src/view-types.ts:233](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v6.1.0/packages/play-view/src/view-types.ts#L233)           |
+| Property                                              | Type                                                           | Description                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | Inherited from                                                                                                                                                                                | Defined in                                                                                                                                                           |
+| ----------------------------------------------------- | -------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-actor"></a> `actor`                   | [`ViewActor`](../../play-view/index/type-aliases/ViewActor.md) | The actor instance with the currentView atom. It requires the Viewable capability.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         | [`BaseActorProviderProps`](../../play-view/index/interfaces/BaseActorProviderProps.md).[`actor`](../../play-view/index/interfaces/BaseActorProviderProps.md#property-actor)                   | [packages/play-view/src/view-types.ts:219](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/view-types.ts#L219)           |
+| <a id="property-children"></a> `children`             | `any`                                                          | The children. They are necessary, and they must hold a <PlayRenderer />. You can also use the PlayUIProvider short form                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    | -                                                                                                                                                                                             | [packages/play-solid/src/ActorProvider.tsx:161](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-solid/src/ActorProvider.tsx#L161) |
+| <a id="property-fallback"></a> `fallback?`            | `any`                                                          | The optional fallback element. The provider shows it when currentView is null, and when the ErrorBoundary catches an error                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | -                                                                                                                                                                                             | [packages/play-solid/src/ActorProvider.tsx:120](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-solid/src/ActorProvider.tsx#L120) |
+| <a id="property-onerror"></a> `onError?`              | (`error`, `reset`) => `void`                                   | The optional callback. The provider calls it when the SolidJS ErrorBoundary catches an error. While the error is active, the provider renders the `fallback` instead of its children. The provider clears the error on the next view emission (when `currentView` changes), so a view transition retries the render. The per-element boundary of `json-render` catches a throw of a catalog component below the root, and it reports it through `onRenderError` alone. A failure of the ROOT — its component, a prop, or its `visible` condition — leaves no view, and json-render gives it to no boundary of the host. The provider contains it as a failure of the view all the same: it shows the fallback, and it calls this handler one time. `onRenderError` also receives it, with `info.kind` `"root"`. This boundary is the outer net for everything else. The second parameter is the RESET, for a retry that the host starts — a "Retry" button of its own. It clears the caught error and renders again, and it resolves the view that the actor holds at the MOMENT OF THE CALL, so a host that keeps the callback cannot rewind the screen to the view that failed. A reset that the host calls from inside this handler starts no second retry, because no input changed between the two attempts, and a reset after the provider is disposed does nothing. The five renderers hold the same three rules. **A handler that THROWS reaches no caller.** The provider contains that throw, and it writes the throw to `console.error`. The fallback of this boundary is the RETURN of the callback that reports, so a throw that left this handler would take the fallback off the screen AND let the error escape the boundary. Report a failure from this handler. To ESCALATE one, raise it from a task of your own — `rethrowLater(error)` of `@xmachines/core/utils` — which reaches the global handler of the page and leaves the containment whole. The host installs `@xmachines/core` itself. The five renderers hold this one rule. | -                                                                                                                                                                                             | [packages/play-solid/src/ActorProvider.tsx:156](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-solid/src/ActorProvider.tsx#L156) |
+| <a id="property-onrendererror"></a> `onRenderError?`  | [`OnRenderError`](../type-aliases/OnRenderError.md)            | The renderer calls it with `(error, name, info)` for each failure that it reports: a catalog component that throws, a prop or a `visible` condition that fails, an action chain or a watch chain that fails, and a failure of the root. `info.kind` names the kind of the failure. A handler with the two parameters `(error, name)` stays valid. This handler replaces every onRenderError of defineRegistry.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | [`BaseActorProviderProps`](../../play-view/index/interfaces/BaseActorProviderProps.md).[`onRenderError`](../../play-view/index/interfaces/BaseActorProviderProps.md#property-onrendererror)   | [packages/play-view/src/view-types.ts:236](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/view-types.ts#L236)           |
+| <a id="property-registryresult"></a> `registryResult` | [`DefineRegistryResult`](DefineRegistryResult.md)              | The complete result of defineRegistry(). It holds the component registry and the factory of the action handlers.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           | [`BaseActorProviderProps`](../../play-view/index/interfaces/BaseActorProviderProps.md).[`registryResult`](../../play-view/index/interfaces/BaseActorProviderProps.md#property-registryresult) | [packages/play-view/src/view-types.ts:221](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/view-types.ts#L221)           |
+| <a id="property-store"></a> `store?`                  | `StateStore`                                                   | The optional external StateStore, which is the controlled mode. With this option, the provider ignores spec.state, and this store is the single source of truth. Without it, the provider makes a new @xstate/store atom for each view transition, with the values of spec.state.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          | [`BaseActorProviderProps`](../../play-view/index/interfaces/BaseActorProviderProps.md).[`store`](../../play-view/index/interfaces/BaseActorProviderProps.md#property-store)                   | [packages/play-view/src/view-types.ts:228](https://gitlab.com/xmachin-es/xmachines-js/-/blob/docs-v8.0.0-next.1/packages/play-view/src/view-types.ts#L228)           |