@typeonce/effect-machine 0.1.0 → 0.2.0

package/docs/agent-guide.md

@@ -0,0 +1,585 @@
+# Effect Machine agent guide
+
+This is the model-facing reference for the currently published
+`@typeonce/effect-machine` API. Prefer these patterns over reconstructing the API
+from its internal implementation.
+
+## Public imports
+
+```ts
+import { Machine } from "@typeonce/effect-machine"
+import { AtomMachine } from "@typeonce/effect-machine/reactivity"
+import { ClusterMachine } from "@typeonce/effect-machine/cluster"
+```
+
+Do not import the published package as `effect/unstable/machine`. The package is
+currently coupled to the exact Effect peer version listed in its `package.json`.
+
+## Definition order
+
+Use this order so inference has all schemas available when handlers are
+declared:
+
+1. Domain schemas used by state and event fields.
+2. Tagged state schemas.
+3. Tagged public-event, internal-event, and emitted-event schemas.
+4. `Machine.defineStates`.
+5. `Machine.make`, including input, events, internal events, emits, and the
+   initial function.
+6. One or more `.handle(...)` calls.
+7. Child descriptors.
+8. Runtime, Atom, or Cluster adapters.
+
+`Schema.TaggedUnion` avoids one class declaration per case:
+
+```ts
+const State = Schema.TaggedUnion({
+  Idle: {},
+  Saving: { draft: Draft },
+  Failed: { message: Schema.String }
+})
+
+const Event = Schema.TaggedUnion({
+  Save: {}
+})
+
+const InternalEvent = Schema.TaggedUnion({
+  Saved: { id: Schema.String },
+  SaveFailed: { message: Schema.String }
+})
+
+const States = Machine.defineStates(State.cases)
+```
+
+Construct values with `State.cases.Idle.make({})` or
+`Event.cases.Save.make({})`. Use `Schema.TaggedClass` instead when a case needs
+class methods or nominal class identity.
+
+## Hard invariants
+
+- `Machine.make({ initial })` expects a function, including for `Schema.Void`
+  input.
+- State, emit, input, and output schemas validate their runtime boundaries.
+  Event schemas provide decoders, but the local public/internal distinction is
+  a TypeScript boundary; Cluster additionally validates public commands at its
+  transport boundary.
+- Return snapshots or typed target-builder results from transitions. Do not
+  return raw decoded state values.
+- Effects returned by handlers are planning Effects. Wrap external effects in
+  `Machine.action`.
+- Put data on the narrowest state where it is valid. Put data shared by sibling
+  phases on their compound parent.
+- Declare finality only in the state definition. Do not put `type: "final"` in
+  a handler.
+- Every declared output schema needs a matching handler implementation before
+  planning or execution.
+- `parents` keys are full dotted paths.
+- Invoke lifetimes follow state entry and exit, not the spelling of the target
+  builder.
+- Recover expected invoked Effect failures into machine events. Unrecovered
+  child failures terminate the owning machine.
+- Reuse the exact child descriptor value for `invokeMachine`, `sendTo`, and
+  child lookup.
+- `events` is the public input protocol. `internalEvents` contains machine-local
+  deliveries such as invoke results and invoked-child emissions. Handlers see
+  both; typed public `send` and `Machine.plan` accept only `events`.
+- Event tags in `events` and `internalEvents` must be disjoint.
+- Event tags must also be unique within each protocol list.
+
+## Canonical API choices
+
+Choose one helper from the intent, and reach for the lower-level form only when
+its extra control is required:
+
+- Bind a shared Atom runtime once with `AtomMachine.bind(runtime)`, then use the
+  returned `make`. Use `AtomMachine.make(machine)` for a service-free machine.
+- Use `Machine.invokeEffect` for a typed one-shot Effect and `Machine.after` for
+  a timer. Use `Machine.invoke` with `Machine.effect` only for custom child
+  process behavior or snapshot mapping.
+- Use `Machine.child(id, machine)` for a complete statechart descriptor and
+  `Machine.childAddress<Event>(id)` for a low-level process address. An
+  invocation is addressable only when `Machine.invoke` receives that address
+  explicitly.
+- Stage external effects with `Machine.action`; its optional second argument is
+  the same operation with a returned transition value, not a separate action
+  API.
+
+## Atomic, compound, and parallel states
+
+Use an atomic state when no child phase can be active beneath it.
+
+Use a compound state when exactly one child phase is active. It must declare an
+`initial` child:
+
+```ts
+const FormState = Schema.TaggedUnion({
+  Form: { draft: Schema.String },
+  Editing: {},
+  Saving: {}
+})
+
+const FormStates = Machine.defineStates({
+  Form: {
+    schema: FormState.cases.Form,
+    initial: "Editing",
+    states: {
+      Editing: FormState.cases.Editing,
+      Saving: FormState.cases.Saving
+    }
+  }
+})
+```
+
+Use a parallel state when every direct region is active:
+
+```ts
+const ParallelState = Schema.TaggedUnion({
+  Screen: {},
+  Network: {},
+  Online: {},
+  Offline: {},
+  Panel: {},
+  Closed: {},
+  Open: {}
+})
+
+const ParallelStates = Machine.defineStates({
+  Screen: {
+    schema: ParallelState.cases.Screen,
+    type: "parallel",
+    states: {
+      network: {
+        schema: ParallelState.cases.Network,
+        initial: "Online",
+        states: {
+          Online: ParallelState.cases.Online,
+          Offline: ParallelState.cases.Offline
+        }
+      },
+      panel: {
+        schema: ParallelState.cases.Panel,
+        initial: "Closed",
+        states: {
+          Closed: ParallelState.cases.Closed,
+          Open: ParallelState.cases.Open
+        }
+      }
+    }
+  }
+})
+```
+
+Every parallel region needs an active state in initial and full snapshot
+builders.
+
+Use `type: "final"` for a terminal leaf in `Machine.defineStates`. A final
+child completes its compound parent. Put `onDone` on that completed parent,
+never on the final leaf. The definition owns the output schema and the handler
+computes its value:
+
+```ts
+const States = Machine.defineStates({
+  Done: {
+    schema: State.cases.Done,
+    type: "final",
+    output: Schema.String
+  }
+})
+
+const machine = Machine.make({
+  states: States.states,
+  events: [],
+  initial: () => States.initial.Done(State.cases.Done.make({}))
+}).handle({
+  Done: {
+    output: () => "done"
+  }
+})
+```
+
+Do not repeat `type: "final"` in `handle`. Execution APIs reject a machine
+until every declared output schema has an implementation.
+
+## Choosing a target
+
+| Builder         | Use it when                                                                | What it preserves                                                                 |
+| --------------- | -------------------------------------------------------------------------- | --------------------------------------------------------------------------------- |
+| `target.local`  | The destination is inside the nearest compound scope containing the source | The compound value, active ancestors, and unrelated parallel regions              |
+| `target.branch` | The destination is elsewhere under the active top-level root               | Omitted current ancestor values and parallel regions                              |
+| `target.full`   | The destination may be under any top-level root                            | Nothing is inferred for a newly selected root; build its complete active snapshot |
+
+These describe configuration construction, not automatic process restart.
+Machine planning compares active paths and derives the actual exit and entry
+sets. A `target.full` result with the same active paths can update values without
+exiting shared states. To force the source to exit and enter again:
+
+```ts
+Refresh: {
+  reenter: true,
+  transition: ({ state, target }) =>
+    target.full.Ready(new Ready({ value: state.value }))
+}
+```
+
+Do not use `target.full` merely because it is easiest to discover. Prefer the
+narrowest builder that expresses the intended configuration change.
+
+## Reading state and parents
+
+`Machine.defineStates` returns typed helpers:
+
+```ts
+States.get(snapshot, "Route.Ready")
+States.getWithParents(snapshot, "Route.Ready.Editing")
+States.getSnapshot(snapshot, "Route.Ready")
+States.matches(snapshot, "Route.Ready.Saving")
+```
+
+All paths are checked against the definition. `context.parent` is the immediate
+typed parent (`undefined` at a root). Use `parents` when another ancestor is
+needed:
+
+```ts
+parents["Route.Ready"]
+parents["Route.Ready.Editing"]
+```
+
+Do not guess short properties such as `parents.Ready`.
+
+Use `Machine.retag(TargetCase, source, patch?)` when sibling state payloads
+share fields. It removes the source discriminator, reuses only compatible
+fields, and requires a patch for every missing or incompatible required field.
+Prefer moving broadly shared data to the compound parent rather than retagging
+it through every phase.
+
+## Planning, actions, raised events, and emissions
+
+A transition may return a target directly or compute it in an Effect:
+
+```ts
+Submit: Effect.fn(function* ({ state, target }) {
+  const service = yield* SaveService
+  const canSave = yield* service.validate(state.draft)
+
+  return canSave ? target.local.Saving(new Saving({ draft: state.draft })) : undefined
+})
+```
+
+That Effect runs during planning. External side effects must be staged:
+
+```ts
+Submit: ({ target }) => Machine.action(writeAuditLog, target.local.Saving(new Saving({})))
+```
+
+`Machine.action(effect)` stages the action and returns `void`.
+`Machine.action(effect, next)` stages the same action and returns `next`, which
+is convenient when the transition does not otherwise need an Effect generator.
+
+The managed runtime executes staged actions before publishing the planned
+state. If an action fails, it retains the previous state and suppresses planned
+emissions.
+
+Plans have a discriminated completion result:
+
+```ts
+const planned = yield * Machine.plan(machine, state, event)
+if (planned.done) {
+  planned.output // schema-derived structural terminal union
+}
+```
+
+When `done` is false, `output` is `undefined`. `MachineRef.join` and invoked
+child `onDone.output` use the same structural terminal union rather than adding
+an unconditional optional value. Output-less structural terminal paths
+contribute `undefined`; active atomic roots do not. Handler behavior can make
+the type conservative—for example, a root `onDone` transition can move away
+before that root becomes the machine's terminal result.
+
+`raise` queues an event for the same machine's current macrostep. `emit` queues
+an event for the parent. Both operations validate their schemas.
+
+## Public and internal event protocols
+
+`events` defines the protocol callers can send. `internalEvents` augments the
+union handled inside the statechart:
+
+```ts
+const machine = Machine.make({
+  states: States.states,
+  events: [Event.cases.Save],
+  internalEvents: [InternalEvent.cases.Saved, InternalEvent.cases.SaveFailed],
+  initial: () => States.initial.Idle(State.cases.Idle.make({}))
+})
+```
+
+Use the exported utility types when another API must preserve the boundary:
+
+```ts
+type PublicEvent = Machine.Machine.InputEvent<typeof machine>
+type AnyHandledEvent = Machine.Machine.Event<typeof machine>
+```
+
+`MachineRef.send`, `machineAtom.send`, and `Machine.plan` use `InputEvent` at
+their TypeScript boundary. Transition handlers, raised events, invoke results,
+and mapped child events use the complete `Event` union. The local planner and
+runtime intentionally share the complete decoder to support those internal
+deliveries, so JavaScript or `any` can bypass the local public distinction.
+Cluster RPC payloads are additionally decoded against the public `events`
+schemas at the transport boundary. Never repeat an `_tag` within a list or
+across both configuration lists.
+
+## Recoverable state-scoped work
+
+Use `Machine.invokeEffect` for a one-shot Effect. Its callbacks preserve the
+typed success and failure channels while mapping both into machine events:
+
+```ts
+invoke: ({ state }) =>
+  Machine.invokeEffect({
+    id: "save",
+    effect: SaveService.save(state.draft),
+    onSuccess: (entry) => new Saved({ entry }),
+    onFailure: (error) => new SaveFailed({ message: error.message })
+  })
+```
+
+The owning state scopes the child. Owner-driven interruption on state exit is
+normal cancellation and stale output is ignored. A child Effect that defects
+or self-interrupts fails the parent. Omit `onFailure` only when the Effect error
+type is `never`; defects and interruption are not mapped.
+
+Successful non-void output is delivered as a parent event. Include every
+possible mapped result schema in the parent machine's `internalEvents` array and
+add handlers for the relevant tags. Leave defects and interruption fatal;
+recover only expected typed failures.
+
+A cancellable timer uses `Machine.after`:
+
+```ts
+invoke: Machine.after("3 seconds", new ClearStatus({}), {
+  id: "clear-status"
+})
+```
+
+The timer starts on state entry and is interrupted on exit. Supply an explicit
+id when more than one active timer could deliver the same event tag. Use
+lower-level `Machine.invoke` with `Machine.effect` when custom child logic or
+snapshot mapping is required. In that API, `id` is only the invocation's
+state-local lifecycle key. To communicate with the invocation, create a
+`Machine.childAddress<Event>("worker")` and pass it as `address`; TypeScript
+checks the address protocol against the child logic. Lifecycle ids must be
+unique among simultaneously active invokes owned by the same state.
+
+## Invoked child statecharts
+
+Create a complete child-statechart descriptor:
+
+```ts
+const Editor = Machine.child("editor", EditorMachine)
+```
+
+Invoke it from its owning state:
+
+```ts
+invoke: Machine.invokeMachine({
+  child: Editor,
+  input: editorInput,
+  onDone: ({ output }) => new EditorCompleted({ output })
+})
+```
+
+Use `Editor` for:
+
+```ts
+Machine.sendTo(Editor, new Reset({}))
+parentRef.child(Editor)
+parentAtom.child(Editor)
+```
+
+Child emissions, mapped snapshots, and mapped completion output are delivered as
+parent events and must be accepted by the parent's `internalEvents` list.
+Invoked child IDs must be unique while simultaneously active.
+
+Descriptors with the same id and machine identity address the same child, even
+when independently constructed. The descriptor objects themselves are not
+canonicalized. Prefer exporting one descriptor as the application boundary.
+Use the separate
+`Machine.childAddress<Event>(id)` constructor only for lower-level process
+logic that does not have a complete machine descriptor.
+
+## AtomMachine and React
+
+`AtomMachine.make(machine, ...input)` works when the machine has no external
+service requirements. For an application runtime, the canonical form is to
+bind it once at the composition boundary:
+
+```ts
+const runtime = Atom.runtime(AppLayer)
+const machines = AtomMachine.bind(runtime)
+const machineAtom = machines.make(machine, input)
+```
+
+One bridge owns one machine instance per `AtomRegistry`. In React:
+
+1. Render a `RegistryProvider` from `@effect/atom-react`.
+2. Keep a component-owned bridge referentially stable, normally with
+   `useMemo`.
+3. Use scalar dependencies that define when the machine should restart.
+4. Expect a new bridge identity to create a new instance once mounted.
+
+The root bridge shapes are:
+
+```ts
+machineAtom.state
+// Atom<AsyncResult<State, StartError>>
+
+machineAtom.result
+// Atom<AsyncResult<State, StartError | RuntimeError>>
+
+machineAtom.snapshot
+// Atom<AsyncResult<RuntimeSnapshot<State, RuntimeError, Output>, StartError>>
+```
+
+`state` remains a successful last-state value after a post-start runtime
+failure. Prefer `result` for ordinary fail-aware UI state. Use `snapshot` when
+the full lifecycle, completion output, cause, or stopped status matters.
+
+Use equality-aware selectors instead of repeating AsyncResult/Option unwrapping.
+Paths and selected values are inferred from the bridge snapshot, so do not pass
+the `DefinedStates` object:
+
+```ts
+AtomMachine.select(machineAtom, "Ready")
+AtomMachine.matches(machineAtom, "Ready.Saving")
+AtomMachine.selectChild(childAtom, "Editing")
+AtomMachine.matchesChild(childAtom, "Editing")
+```
+
+Like ordinary Effect Atom combinators, each selector call returns a derived
+atom. Define it at a stable composition boundary or memoize it when constructing
+it inside a component.
+
+An invoked child bridge adds an inactivity axis. Keep the descriptor stable;
+the bridge uses Effect's `Atom.family` identity semantics:
+
+```ts
+const editorAtom = parentAtom.child(Editor)
+
+editorAtom.state
+// Atom<AsyncResult<Option<State>, StartError>>
+```
+
+`Option.none()` means the child is not currently active or has not become
+active yet. A child command while inactive fails with `ChildNotActiveError`.
+Use `AtomMachine.ChildMachineAtom<typeof Editor>` for a descriptor-based child prop,
+or `AtomMachine.ChildOf<typeof parentAtom, typeof Editor>` to infer the exact
+bridge from a parent.
+
+## Persistence
+
+Use `Machine.encodeSnapshot` and `Machine.decodeSnapshot` for validated logical
+statechart data. Persist machine identity and an application migration/version
+next to the encoded snapshot.
+
+Encoding does not preserve:
+
+- running invokes or spawned children;
+- subscriptions, timers, or services;
+- the machine definition;
+- application migration metadata.
+
+Do not treat decoding as resuming the previous process. It reconstructs logical
+state only.
+
+## Common compiler errors
+
+### `initial` is not callable
+
+Wrap the initial builder result:
+
+```ts
+initial: () => States.initial.Idle(new Idle({}))
+```
+
+### Invoked child output must be a machine event
+
+Add the output's tagged schema to the parent machine's `internalEvents` array,
+or map/ignore the output before it reaches the parent.
+
+### Invoked child emits events not accepted by the parent
+
+Add the child's emitted schemas to the parent machine's `internalEvents` array:
+
+```ts
+events: [Submit],
+internalEvents: [...ChildMachine.emits]
+```
+
+### An internal event is rejected by `send`
+
+This is intentional. Public input boundaries accept only schemas declared in
+`events`. Handle the event as an invoke result, child delivery, or raised event;
+move it to `events` only if external callers should genuinely be allowed to
+send it.
+
+### Public and internal event tags overlap
+
+Give the cases distinct `_tag` values. The split is a protocol boundary, so one
+tag cannot be both externally sendable and machine-local.
+
+### Missing output implementation
+
+An output schema is a runtime contract, not an optional annotation. Add the
+corresponding nested handler:
+
+```ts
+Done: {
+  output: ({ state }) => state.value
+}
+```
+
+Keep `type: "final"` and `output: Schema...` in the state definition; do not
+repeat the final marker in this handler.
+
+### `type: "final"` is rejected by `handle`
+
+Move it to `Machine.defineStates`. Definitions own statechart topology;
+handlers own behavior.
+
+### Parent property does not exist
+
+Use its full path:
+
+```ts
+parents["Route.Ready"]
+```
+
+### Child descriptor types are unrelated
+
+Use the descriptor exported by the module that configured `invokeMachine`.
+An independently created descriptor with the same id and machine identity also
+matches; the same id paired with a different machine remains a distinct child.
+
+### Child atom start error defaults to `unknown`
+
+`ChildMachineAtom<Child>` is suitable for a general boundary because its startup
+error defaults to `unknown`. Atoms created with an `AtomRuntime<R, E>` include
+`E` in their startup error type. Use `ChildOf<ParentAtom, Child>` to infer that
+exact channel from a parent instead of restating it manually.
+
+### Handler tree is too deeply nested
+
+Type inference traverses at most eight nested handler objects. Split or flatten
+a deeper statechart instead of casting away the diagnostic.
+
+## Unsupported and intentionally imperative features
+
+The current API does not include:
+
+- history states;
+- declarative first-class guards;
+- a complete inspectable graph for arbitrary transition Effects.
+
+Use ordinary TypeScript conditions for guards and `Machine.after` for
+state-scoped timers. Do not invent undocumented state-node properties such as
+`guard` or `history`.

package/package.json

@@ -1,11 +1,11 @@
 {
   "name": "@typeonce/effect-machine",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Schema-first state machines and statecharts for Effect",
   "author": "Sandro Maglione",
   "repository": {
     "type": "git",
-    "url": "https://github.com/typeonce-dev/effect-machine.git"
+    "url": "git+https://github.com/typeonce-dev/effect-machine.git"
   },
   "bugs": {
     "url": "https://github.com/typeonce-dev/effect-machine/issues"
@@ -16,6 +16,7 @@
   "sideEffects": false,
   "files": [
     "dist",
+    "docs",
     "README.md",
     "LICENSE",
     "NOTICE"
@@ -39,23 +40,6 @@
     "access": "public",
     "provenance": true
   },
-  "scripts": {
-    "build": "tsc -p tsconfig.build.json",
-    "test": "vitest run",
-    "test:types": "tstyche",
-    "typecheck": "tsc -p tsconfig.json --noEmit",
-    "format": "prettier --write .",
-    "format:check": "prettier --check .",
-    "sync:effect": "node scripts/sync-effect.mjs",
-    "sync:check": "node scripts/sync-effect.mjs --check",
-    "test:sync": "node scripts/test-sync.mjs",
-    "test:consumer": "node scripts/test-consumer.mjs",
-    "pack:check": "node scripts/pack-check.mjs",
-    "check": "pnpm format:check && pnpm typecheck && pnpm build && pnpm test && pnpm test:types && pnpm test:consumer && pnpm test:sync && pnpm pack:check",
-    "changeset": "changeset",
-    "version-packages": "changeset version",
-    "release": "pnpm build && pnpm publish --access public --provenance"
-  },
   "peerDependencies": {
     "effect": "4.0.0-beta.102"
   },
@@ -69,8 +53,21 @@
     "typescript": "6.0.3",
     "vitest": "4.1.10"
   },
-  "packageManager": "pnpm@10.17.1",
   "engines": {
     "node": ">=20"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "test": "vitest run",
+    "test:types": "tstyche",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "format": "prettier --write .",
+    "format:check": "prettier --check .",
+    "test:consumer": "node scripts/test-consumer.mjs",
+    "pack:check": "node scripts/pack-check.mjs",
+    "check": "pnpm format:check && pnpm typecheck && pnpm build && pnpm test && pnpm test:types && pnpm test:consumer && pnpm pack:check",
+    "changeset": "changeset",
+    "version-packages": "changeset version",
+    "release": "pnpm build && changeset publish"
   }
-}
+}