/docs/diagrams.md
Machine Basics
Features are explained using Mermaid flow diagrams, and headers link to relevant sections of the manual.
Multi-state
Many states can be active at the same time.
Clock and state contexts
States have clocks that produce contexts (odd = active; even = inactive).
Queue
Queue of mutations enable lock-free Actor Model.
AOP handlers
States are Aspects with Enter, State, Exit, and End handlers.
Negotiation
Transitions are cancellable (during the negotiation phase).
Relations
States are connected via Require, Remove, and Add relations.
Subscriptions
Channel-broadcast waiting on clock values.
Transition Lifecycle
aRPC
aRPC Architecture
aRPC Sync (Details)
aRPC Sync (Clocks)
aRPC Partial Distribution
aRPC Handler Mutations
Worker Pool Architecture
Flows
Legend
RPC Getter Flow
Consumer requests payload from a remote worker.
Worker Bootstrap
Node Supervisor forks a new worker process for the pool.
Examples
Tree State Source
Benchmark State Source
