Overview
Messages drive execution in Lexum.
Every state change is triggered by:
message → transition
Lifecycle Stages
- Emission
- Queueing
- Scheduling
- Processing
Messages are emitted by:
- transitions
- system initialization
Messages enter domain mailbox:
- FIFO-like structure
- ordered by scheduler
Scheduler selects message based on:
(priority, logical_time, domain_id, sequence_id)
Selected message:
- triggers transition
- updates state
- may emit new messages
Properties
Messages are:
- deterministic
- ordered
- isolated
Example
emit → mailbox → scheduler → transition → emit