@xmachines/docs 4.0.0 → 5.0.1

package/README.md

@@ -2,7 +2,7 @@
 
 > Documentation, guides, RFCs, and generated API reference for XMachines.
 
-[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![Version](https://img.shields.io/badge/version-4.0.0-blue)](https://www.npmjs.com/package/@xmachines/docs)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![Version](https://img.shields.io/badge/version-5.0.1-blue)](https://www.npmjs.com/package/@xmachines/docs)
 
 ## Overview
 
@@ -76,11 +76,11 @@ Concept guides and tutorials that show how to use XMachines:
 
 **Learning:**
 
-- **[Getting Started](guides/getting-started.md)** — `setup().createMachine()` → `definePlayer()` → `actor.start()` → TC39 Signals
+- **[Getting Started](guides/getting-started.md)** — `setup().createMachine()` → `definePlayer()` → `actor.start()` → atoms
 - **[Understanding State Machines](guides/state-machines.md)** — `meta.route`, `meta.view`, and why machines replace boolean flags
 - **[Understanding the Actor Model](guides/actor-model.md)** — Actor/infrastructure split, `PlayActor`, and the reset invariant
 - **[Understanding Routing](guides/routing.md)** — The URLPattern grammar of `meta.route`, the prefix rule, and the routing invariants
-- **[Understanding TC39 Signals](guides/signals.md)** — Signal primitives and the five architectural invariants they enforce
+- **[Understanding Atoms](guides/atoms.md)** — Atom primitives and the five architectural invariants they enforce
 
 **Tooling:**
 
@@ -95,12 +95,13 @@ Reference documentation for contributors and maintainers:
 - **[Configuration](contributing/configuration.md)** — TypeScript, linting, formatting, Vitest, CI/CD, and release configuration
 - **[Testing](contributing/testing.md)** — Vitest setup, node vs browser modes, test patterns, coverage requirements
 - **[Deployment](contributing/deployment.md)** — npm publishing, semantic-release process, GitLab CI pipeline
+- **[Migrating to @xmachines/play-atom](contributing/migrating-to-play-atom.md)** — the codemod, the name table, and the three behaviour changes it cannot make for you
 
 ### Examples
 
 Practical code examples that show the XMachines patterns:
 
-- **[Basic State Machine](examples/basic-state-machine.md)** — `setup().createMachine()` + `definePlayer()` + TC39 Signals
+- **[Basic State Machine](examples/basic-state-machine.md)** — `setup().createMachine()` + `definePlayer()` + atoms
 - **[Traffic Light](examples/traffic-light.md)** — Multi-state machine with `meta.route` and `formatPlayRouteTransitions`
 - **[Form Validation](examples/form-validation.md)** — Typed context mutations with `setup.assign`, guards, and `$bindState`
 - **[Routing Patterns](examples/routing-patterns.md)** — `meta.route`, `play.route` events, `always` auth guards
@@ -115,10 +116,11 @@ The documented packages:
 - [`@xmachines/play`](../play/README.md) — Core protocols (`PlayEvent`, `PlayError`)
 - [`@xmachines/play-actor`](../play-actor/README.md) — `PlayActor`
 - [`@xmachines/play-view`](../play-view/README.md) — `Viewable`, `PlaySpec`, the view store lifecycle
-- [`@xmachines/play-signals`](../play-signals/README.md) — TC39 Signals polyfill, `watchSignal`
+- [`@xmachines/play-atom`](../play-atom/README.md) — the atom primitives, `watchAtom`
 - [`@xmachines/play-router`](../play-router/README.md) — `RouterBridgeBase`, `RouteMap`, `Routable`
 - [`@xmachines/play-router/xstate`](../play-router/README.md) — `extractMachineRoutes`, `createRouteMap`
-- [`@xmachines/play-url`](../play-url/README.md) — the URLPattern grammar, a base path, the params of a framework router
+- [`@xmachines/play-pattern`](../play-pattern/README.md) — the route pattern language: one parse, and the path that `buildPath` writes back
+- [`@xmachines/play-url`](../play-url/README.md) — the URLPattern API, a base path, the params of a framework router
 - [`@xmachines/play-xstate`](../play-xstate/README.md) — `definePlayer`, `formatPlayRouteTransitions`, `PlayerActor`
 - [`@xmachines/play-dom`](../play-dom/README.md), [`play-react`](../play-react/README.md), [`play-solid`](../play-solid/README.md), [`play-svelte`](../play-svelte/README.md), [`play-vue`](../play-vue/README.md) — View renderers
 - [`@xmachines/play-dom-router`](../play-dom-router/README.md), [`play-tanstack-router`](../play-tanstack-router/README.md), [`play-react-router`](../play-react-router/README.md), [`play-tanstack-react-router`](../play-tanstack-react-router/README.md), [`play-solid-router`](../play-solid-router/README.md), [`play-tanstack-solid-router`](../play-tanstack-solid-router/README.md), [`play-vue-router`](../play-vue-router/README.md), [`play-svelte-spa-router`](../play-svelte-spa-router/README.md), [`play-sveltekit-router`](../play-sveltekit-router/README.md) — Router adapters

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

@@ -4,7 +4,7 @@
 
 > Core protocol layer for the Universal Player Architecture. It defines `PlayEvent`, `PlayError`, and the contracts that keep the business logic loosely coupled to the runtime adapters.
 
-[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![Version](https://img.shields.io/badge/version-4.0.0-blue)](https://www.npmjs.com/package/@xmachines/play)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![Version](https://img.shields.io/badge/version-5.0.1-blue)](https://www.npmjs.com/package/@xmachines/play)
 
 ---
 
@@ -30,12 +30,13 @@ pnpm add @xmachines/play
 
 These protocols implement the architectural invariants that the Play RFC defines:
 
-| #      | Invariant                  | Description                                                              |
-| ------ | -------------------------- | ------------------------------------------------------------------------ |
-| INV-01 | **Actor Authority**        | The Actor is the final authority. Guards decide all transitions          |
-| INV-02 | **Strict Separation**      | The business logic never imports a UI framework or a routing library     |
-| INV-04 | **Passive Infrastructure** | The infrastructure observes the Actor signals. It never enforces a guard |
-| INV-05 | **Signal-Only Reactivity** | TC39 Signals are the only medium that crosses a boundary                 |
+| #      | Invariant                  | Description                                                             |
+| ------ | -------------------------- | ----------------------------------------------------------------------- |
+| INV-01 | **Actor Authority**        | The Actor is the final authority. Guards decide all transitions         |
+| INV-02 | **Strict Separation**      | The business logic never imports a UI framework or a routing library    |
+| INV-03 | **Atom-Only Reactivity**   | Atoms are the only medium that crosses a boundary                       |
+| INV-04 | **Passive Infrastructure** | The infrastructure observes the Actor atoms. It never enforces a guard  |
+| INV-05 | **State-Driven Reset**     | An invalid external navigation is overwritten by the state of the Actor |
 
 ---
 
@@ -122,12 +123,12 @@ that keeps the release in a field, and the caller that gives it to a scope.
 import { asCleanup, type Cleanup } from "@xmachines/play";
 
 // The explicit form. It stays correct.
-const stop = watchSignal(count, render);
+const stop = watchAtom(count, render);
 stop();
 
 // The scoped form. The scope releases it, and an exception releases it too.
 {
-	using stop = watchSignal(count, render);
+	using stop = watchAtom(count, render);
 	render(count.get());
 }
 ```
@@ -137,10 +138,9 @@ added, and wraps nothing, so a caller that compares two releases or holds one in
 sees what it saw before.
 
 ```ts
-export function watchSignal<T>(signal: Signal.State<T>, onValue: (v: T) => void): Cleanup {
-	const watcher = new Signal.subtle.Watcher(() => {});
-	watcher.watch(signal);
-	return asCleanup(() => watcher.unwatch(signal));
+export function watchAtom<T>(atom: Readable<T>, onValue: (v: T) => void): Cleanup {
+	const subscription = atom.subscribe(() => onValue(atom.get()));
+	return asCleanup(() => subscription.unsubscribe());
 }
 ```
 
@@ -199,14 +199,14 @@ pair.
 
 Every other `@xmachines/*` package exports its own error subclasses from its `./errors` subpath:
 
-| Package                      | Import path                         |
-| ---------------------------- | ----------------------------------- |
-| `@xmachines/play`            | `@xmachines/play/errors`            |
-| `@xmachines/play-router`     | `@xmachines/play-router/errors`     |
-| `@xmachines/play-url`        | `@xmachines/play-url/errors`        |
-| `@xmachines/play-view`       | `@xmachines/play-view/errors`       |
-| `@xmachines/play-xstate`     | `@xmachines/play-xstate/errors`     |
-| `@xmachines/play-vue-router` | `@xmachines/play-vue-router/errors` |
+| Package                                                      | Import path                                                         |
+| ------------------------------------------------------------ | ------------------------------------------------------------------- |
+| `@xmachines/play`                                            | `@xmachines/play/errors`                                            |
+| [`@xmachines/play-router`](../play-router/README.md)         | [`@xmachines/play-router/errors`](../play-router/README.md)         |
+| [`@xmachines/play-url`](../play-url/README.md)               | [`@xmachines/play-url/errors`](../play-url/README.md)               |
+| [`@xmachines/play-view`](../play-view/README.md)             | [`@xmachines/play-view/errors`](../play-view/README.md)             |
+| [`@xmachines/play-xstate`](../play-xstate/README.md)         | [`@xmachines/play-xstate/errors`](../play-xstate/README.md)         |
+| [`@xmachines/play-vue-router`](../play-vue-router/README.md) | [`@xmachines/play-vue-router/errors`](../play-vue-router/README.md) |
 
 ---
 

package/api/@xmachines/play/errors/classes/NonNullableError.md

@@ -2,7 +2,7 @@
 
 # Class: NonNullableError
 
-Defined in: [packages/play/src/errors.ts:112](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/errors.ts#L112)
+Defined in: [packages/play/src/errors.ts:112](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/errors.ts#L112)
 
 [@xmachines/play!index.assertNonNullable](../../index/functions/assertNonNullable.md) throws this error when a value is `null` or `undefined`.
 
@@ -35,7 +35,7 @@ try {
 new NonNullableError(message, options?): NonNullableError;
 ```
 
-Defined in: [packages/play/src/errors.ts:113](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/errors.ts#L113)
+Defined in: [packages/play/src/errors.ts:113](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/errors.ts#L113)
 
 #### Parameters
 
@@ -57,10 +57,10 @@ Defined in: [packages/play/src/errors.ts:113](https://gitlab.com/xmachin-es/xmac
 | Property                                                | Modifier   | Type      | Description                                                                                                                                                                                                                                                                                                                                                                                                                                       | Inherited from                                                                         | Defined in                                                                                                                 |
 | ------------------------------------------------------- | ---------- | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------- |
 | <a id="property-cause"></a> `cause?`                    | `public`   | `unknown` | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](PlayError.md).[`cause`](PlayError.md#property-cause)                     | -                                                                                                                          |
-| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `PLAY_<PACKAGE>_<DESCRIPTION>`. It stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                                                                                  | [`PlayError`](PlayError.md).[`code`](PlayError.md#property-code)                       | [packages/play/src/errors.ts:76](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/errors.ts#L76) |
+| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `PLAY_<PACKAGE>_<DESCRIPTION>`. It stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                                                                                  | [`PlayError`](PlayError.md).[`code`](PlayError.md#property-code)                       | [packages/play/src/errors.ts:76](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/errors.ts#L76) |
 | <a id="property-message"></a> `message`                 | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](PlayError.md).[`message`](PlayError.md#property-message)                 | -                                                                                                                          |
 | <a id="property-name"></a> `name`                       | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](PlayError.md).[`name`](PlayError.md#property-name)                       | -                                                                                                                          |
-| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"RouterBridgeBase"`.                                                                                                                                                                                                                                                                                                                                                                  | [`PlayError`](PlayError.md).[`scope`](PlayError.md#property-scope)                     | [packages/play/src/errors.ts:66](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/errors.ts#L66) |
+| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"RouterBridgeBase"`.                                                                                                                                                                                                                                                                                                                                                                  | [`PlayError`](PlayError.md).[`scope`](PlayError.md#property-scope)                     | [packages/play/src/errors.ts:66](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/errors.ts#L66) |
 | <a id="property-stack"></a> `stack?`                    | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | [`PlayError`](PlayError.md).[`stack`](PlayError.md#property-stack)                     | -                                                                                                                          |
 | <a id="property-stacktracelimit"></a> `stackTraceLimit` | `static`   | `number`  | The `Error.stackTraceLimit` property specifies the number of stack frames collected by a stack trace (whether generated by `new Error().stack` or `Error.captureStackTrace(obj)`). The default value is `10` but may be set to any valid JavaScript number. Changes will affect any stack trace captured _after_ the value has been changed. If set to a non-number value, or set to a negative number, stack traces will not capture any frames. | [`PlayError`](PlayError.md).[`stackTraceLimit`](PlayError.md#property-stacktracelimit) | -                                                                                                                          |
 

package/api/@xmachines/play/errors/classes/PlayError.md

@@ -2,7 +2,7 @@
 
 # Class: PlayError
 
-Defined in: [packages/play/src/errors.ts:64](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/errors.ts#L64)
+Defined in: [packages/play/src/errors.ts:64](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/errors.ts#L64)
 
 The base class of every typed runtime error of an `@xmachines/*` package.
 
@@ -94,6 +94,7 @@ export class MyPackageError extends PlayError {
 - [`InvalidMachineError`](../../../play-xstate/errors/classes/InvalidMachineError.md)
 - [`InvalidRouteHandlerError`](../../../play-xstate/errors/classes/InvalidRouteHandlerError.md)
 - [`InvalidRouteMetadataError`](../../../play-xstate/errors/classes/InvalidRouteMetadataError.md)
+- [`InvalidRouteParamError`](../../../play-xstate/errors/classes/InvalidRouteParamError.md)
 - [`MissingRouteParamError`](../../../play-xstate/errors/classes/MissingRouteParamError.md)
 - [`MissingStateIdError`](../../../play-xstate/errors/classes/MissingStateIdError.md)
 
@@ -110,7 +111,7 @@ new PlayError(
 ): PlayError;
 ```
 
-Defined in: [packages/play/src/errors.ts:84](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/errors.ts#L84)
+Defined in: [packages/play/src/errors.ts:84](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/errors.ts#L84)
 
 #### Parameters
 
@@ -136,10 +137,10 @@ Error.constructor;
 | Property                                                | Modifier   | Type      | Description                                                                                                                                                                                                                                                                                                                                                                                                                                       | Inherited from          | Defined in                                                                                                                 |
 | ------------------------------------------------------- | ---------- | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------- | -------------------------------------------------------------------------------------------------------------------------- |
 | <a id="property-cause"></a> `cause?`                    | `public`   | `unknown` | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | `Error.cause`           | -                                                                                                                          |
-| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `PLAY_<PACKAGE>_<DESCRIPTION>`. It stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                                                                                  | -                       | [packages/play/src/errors.ts:76](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/errors.ts#L76) |
+| <a id="property-code"></a> `code`                       | `readonly` | `string`  | A stable, machine-readable identifier of the error. An error code follows the naming convention `PLAY_<PACKAGE>_<DESCRIPTION>`. It stays the same across each patch release and each minor release of one major version. Never match on `.message`. Always match on `.code`, or on the subclass.                                                                                                                                                  | -                       | [packages/play/src/errors.ts:76](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/errors.ts#L76) |
 | <a id="property-message"></a> `message`                 | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | `Error.message`         | -                                                                                                                          |
 | <a id="property-name"></a> `name`                       | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | `Error.name`            | -                                                                                                                          |
-| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"RouterBridgeBase"`.                                                                                                                                                                                                                                                                                                                                                                  | -                       | [packages/play/src/errors.ts:66](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/errors.ts#L66) |
+| <a id="property-scope"></a> `scope`                     | `readonly` | `string`  | The class or the module that threw this error, for example `"RouterBridgeBase"`.                                                                                                                                                                                                                                                                                                                                                                  | -                       | [packages/play/src/errors.ts:66](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/errors.ts#L66) |
 | <a id="property-stack"></a> `stack?`                    | `public`   | `string`  | -                                                                                                                                                                                                                                                                                                                                                                                                                                                 | `Error.stack`           | -                                                                                                                          |
 | <a id="property-stacktracelimit"></a> `stackTraceLimit` | `static`   | `number`  | The `Error.stackTraceLimit` property specifies the number of stack frames collected by a stack trace (whether generated by `new Error().stack` or `Error.captureStackTrace(obj)`). The default value is `10` but may be set to any valid JavaScript number. Changes will affect any stack trace captured _after_ the value has been changed. If set to a non-number value, or set to a negative number, stack traces will not capture any frames. | `Error.stackTraceLimit` | -                                                                                                                          |
 

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

@@ -54,8 +54,8 @@ These protocols enforce the invariants below:
 
 1. **Actor Authority**: the infrastructure makes a request, and the Actor decides the validity
 2. **Strict Separation**: no layer depends on another layer directly
-3. **Passive Infrastructure**: the infrastructure observes the Actor signals. It never controls them
-4. **Signal-Only Reactivity**: every state change goes through a TC39 Signal
+3. **Atom-Only Reactivity**: every state change goes through an atom
+4. **Passive Infrastructure**: the infrastructure observes the Actor atoms. It never controls them
 5. **State-Driven Reset**: each navigation follows the transition rules of the state machine
 
 ## Type Aliases

package/api/@xmachines/play/index/functions/asCleanup.md

@@ -6,7 +6,7 @@
 function asCleanup<R>(release): Cleanup;
 ```
 
-Defined in: [packages/play/src/disposable.ts:150](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/disposable.ts#L150)
+Defined in: [packages/play/src/disposable.ts:149](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/disposable.ts#L149)
 
 Makes one release function serve as a [Cleanup](../type-aliases/Cleanup.md).
 
@@ -70,9 +70,8 @@ protocol adds a property, and a sealed function accepts none.
 ## Example
 
 ```ts
-export function watchSignal<T>(signal: Signal.State<T>, onValue: (v: T) => void): Cleanup {
-	const watcher = new Signal.subtle.Watcher(() => {});
-	watcher.watch(signal);
-	return asCleanup(() => watcher.unwatch(signal));
+export function watchAtom<T>(atom: Readable<T>, onValue: (v: T) => void): Cleanup {
+	const subscription = atom.subscribe(() => onValue(atom.get()));
+	return asCleanup(() => subscription.unsubscribe());
 }
 ```

package/api/@xmachines/play/index/functions/assertNonNullable.md

@@ -6,7 +6,7 @@
 function assertNonNullable<V>(value, name?): NonNullable<V>;
 ```
 
-Defined in: [packages/play/src/utils.ts:39](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/utils.ts#L39)
+Defined in: [packages/play/src/utils.ts:39](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/utils.ts#L39)
 
 Asserts that `value` is not `null` and not `undefined`, then returns it with the
 type `NonNullable<V>`. One expression therefore holds the guard and the narrowed

package/api/@xmachines/play/index/functions/shallowEqualExcept.md

@@ -6,7 +6,7 @@
 function shallowEqualExcept(a, b, except?): boolean;
 ```
 
-Defined in: [packages/play/src/utils.ts:59](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/utils.ts#L59)
+Defined in: [packages/play/src/utils.ts:59](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/utils.ts#L59)
 
 The shallow equality of the own keys, with `Object.is`. It can ignore one key on
 both sides.

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

@@ -6,7 +6,7 @@
 type Cleanup = () => void & { [Key in DisposeKey]: () => void };
 ```
 
-Defined in: [packages/play/src/disposable.ts:66](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/disposable.ts#L66)
+Defined in: [packages/play/src/disposable.ts:66](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/disposable.ts#L66)
 
 The release of a subscription. A caller runs it, or a scope releases it.
 
@@ -16,12 +16,12 @@ caller inside one scope writes `using` and writes no teardown at all:
 
 ```ts
 // The explicit form. It stays correct.
-const stop = watchSignal(count, render);
+const stop = watchAtom(count, render);
 stop();
 
 // The scoped form. The scope releases it, and an exception releases it too.
 {
-	using stop = watchSignal(count, render);
+	using stop = watchAtom(count, render);
 	render(count.get());
 }
 ```

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

@@ -6,7 +6,7 @@
 type DisposeKey = SymbolConstructor extends object ? Key : never;
 ```
 
-Defined in: [packages/play/src/disposable.ts:34](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/disposable.ts#L34)
+Defined in: [packages/play/src/disposable.ts:34](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/disposable.ts#L34)
 
 The dispose key of the ambient library, and `never` where the consumer omits it.
 

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

@@ -6,7 +6,7 @@
 type PlayEvent<TPayload> = object & TPayload;
 ```
 
-Defined in: [packages/play/src/types.ts:71](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/types.ts#L71)
+Defined in: [packages/play/src/types.ts:71](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/types.ts#L71)
 
 The generic event type of the Play Architecture
 
@@ -35,7 +35,7 @@ and of the other state machine libraries.
 
 | Name   | Type     | Defined in                                                                                                               |
 | ------ | -------- | ------------------------------------------------------------------------------------------------------------------------ |
-| `type` | `string` | [packages/play/src/types.ts:72](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/types.ts#L72) |
+| `type` | `string` | [packages/play/src/types.ts:72](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/types.ts#L72) |
 
 ## Type Parameters
 

package/api/@xmachines/play/index/variables/DISPOSE.md

@@ -6,7 +6,7 @@
 const DISPOSE: DisposeKey;
 ```
 
-Defined in: [packages/play/src/disposable.ts:94](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play/src/disposable.ts#L94)
+Defined in: [packages/play/src/disposable.ts:94](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play/src/disposable.ts#L94)
 
 The key that a release is stored under.
 

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

@@ -4,7 +4,7 @@
 
 The actor contract of the XMachines Play Architecture. It names no state machine library.
 
-[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![Version](https://img.shields.io/badge/version-4.0.0-blue)](https://www.npmjs.com/package/@xmachines/play-actor)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![Version](https://img.shields.io/badge/version-5.0.1-blue)](https://www.npmjs.com/package/@xmachines/play-actor)
 
 ## Installation
 
@@ -15,7 +15,7 @@ pnpm add @xmachines/play-actor
 **Peer dependencies.** Install them with the package:
 
 ```bash
-pnpm add @xmachines/play-signals
+pnpm add @xmachines/play-atom
 ```
 
 ## Overview
@@ -25,7 +25,7 @@ An actor of XMachines holds exactly two things:
 
 | Member  | Type                      | Description                                |
 | ------- | ------------------------- | ------------------------------------------ |
-| `state` | `Signal.State<TSnapshot>` | The reactive snapshot of the current state |
+| `state` | `Atom<TSnapshot>`         | The reactive snapshot of the current state |
 | `send`  | `(event: TEvent) => void` | The typed event dispatch                   |
 
 **It is an interface, and no base class.** A state machine library is the concern of an
@@ -57,14 +57,15 @@ Both type parameters carry their real type through, and neither one erases it.
 
 ```ts
 import type { PlayActor } from "@xmachines/play-actor";
-import { Signal } from "@xmachines/play-signals";
+import { createAtom } from "@xmachines/play-atom";
+import type { Atom } from "@xmachines/play-atom";
 
 type Snapshot = { readonly value: string };
 type AuthEvent =
 	{ readonly type: "auth.login"; readonly username: string } | { readonly type: "auth.logout" };
 
 class AuthActor implements PlayActor<Snapshot, AuthEvent> {
-	readonly state = new Signal.State<Snapshot>({ value: "guest" });
+	readonly state = createAtom<Snapshot>({ value: "guest" });
 
 	send(event: AuthEvent): void {
 		if (event.type === "auth.login") this.state.set({ value: "authenticated" });
@@ -80,7 +81,7 @@ A plain object satisfies the contract as well. Nothing here asks for a class.
 
 ```ts
 const actor: PlayActor<Snapshot, AuthEvent> = {
-	state: new Signal.State<Snapshot>({ value: "guest" }),
+	state: createAtom<Snapshot>({ value: "guest" }),
 	send: () => {},
 };
 ```
@@ -99,15 +100,14 @@ actor class of its own engine, and the contract stays out of the inheritance.
 ```ts
 import type { PlayActor } from "@xmachines/play-actor";
 import type { Routable } from "@xmachines/play-router";
-import { Signal } from "@xmachines/play-signals";
 import { Actor, type AnyActorLogic } from "xstate";
 
 class MyRoutableActor
 	extends Actor<AnyActorLogic>
 	implements PlayActor<unknown, { readonly type: string }>, Routable
 {
-	readonly state = new Signal.State<unknown>({});
-	readonly currentRoute = new Signal.Computed<string | null>(() => null);
+	readonly state = createAtom<unknown>({});
+	readonly currentRoute = createAtom<string | null>(() => null);
 	readonly initialRoute = "/";
 }
 ```

package/api/@xmachines/play-actor/interfaces/ActorEvent.md

@@ -2,7 +2,7 @@
 
 # Interface: ActorEvent
 
-Defined in: [play-actor.ts:38](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play-actor/src/play-actor.ts#L38)
+Defined in: [play-actor.ts:38](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play-actor/src/play-actor.ts#L38)
 
 The minimal shape of an event that an actor receives.
 
@@ -15,4 +15,4 @@ a union member holds no index signature, so it satisfies that default never.
 
 | Property                          | Modifier   | Type     | Defined in                                                                                                             |
 | --------------------------------- | ---------- | -------- | ---------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-type"></a> `type` | `readonly` | `string` | [play-actor.ts:39](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play-actor/src/play-actor.ts#L39) |
+| <a id="property-type"></a> `type` | `readonly` | `string` | [play-actor.ts:39](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play-actor/src/play-actor.ts#L39) |

package/api/@xmachines/play-actor/interfaces/PlayActor.md

@@ -2,7 +2,7 @@
 
 # Interface: PlayActor\<TSnapshot, TEvent\>
 
-Defined in: [play-actor.ts:75](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play-actor/src/play-actor.ts#L75)
+Defined in: [play-actor.ts:75](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play-actor/src/play-actor.ts#L75)
 
 The actor contract of the Play Architecture. It names NO engine.
 
@@ -11,7 +11,7 @@ reactive snapshot, and the typed event dispatch. A state machine library is the
 of an adapter, and `@xmachines/play-xstate` is the adapter of XState v5.
 
 Both type parameters carry their real type through, and neither one erases it.
-`AbstractActor` declares `Signal.State<unknown>`, so every consumer of a snapshot reads
+`AbstractActor` declares `Atom<unknown>`, so every consumer of a snapshot reads
 `unknown` and asserts its way back.
 
 A capability is optional, and each one lives with the package that holds its shared
@@ -43,9 +43,9 @@ function mount<TSnapshot, TEvent extends ActorEvent>(
 
 ## Properties
 
-| Property                            | Modifier   | Type                                                                            | Description                                                                                                                                                                                               | Defined in                                                                                                             |
-| ----------------------------------- | ---------- | ------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------- |
-| <a id="property-state"></a> `state` | `readonly` | [`State`](../../play-signals/namespaces/Signal/classes/State.md)\<`TSnapshot`\> | The reactive snapshot of the current actor state. The infrastructure observes this signal, and it reacts to each state change. It therefore holds no coupling to the internal state machine of the actor. | [play-actor.ts:82](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play-actor/src/play-actor.ts#L82) |
+| Property                            | Modifier   | Type                                                        | Description                                                                                                                                                                                             | Defined in                                                                                                             |
+| ----------------------------------- | ---------- | ----------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------- |
+| <a id="property-state"></a> `state` | `readonly` | [`Atom`](../../play-atom/interfaces/Atom.md)\<`TSnapshot`\> | The reactive snapshot of the current actor state. The infrastructure observes this atom, and it reacts to each state change. It therefore holds no coupling to the internal state machine of the actor. | [play-actor.ts:82](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play-actor/src/play-actor.ts#L82) |
 
 ## Methods
 
@@ -55,7 +55,7 @@ function mount<TSnapshot, TEvent extends ActorEvent>(
 send(event): void;
 ```
 
-Defined in: [play-actor.ts:90](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v4.0.0/packages/play-actor/src/play-actor.ts#L90)
+Defined in: [play-actor.ts:90](https://gitlab.com/xmachin-es/xmachines-js/-/blob/v5.0.1/packages/play-actor/src/play-actor.ts#L90)
 
 Sends an event to the actor.