2. System State🔗

The system state assembles nodes, a global message pool, and a fresh-ID counter into a single configuration (Sections 3.6–3.7 of the paper).

1. 2.1. Nodes
2. 2.2. System State
3. 2.3. Well-Typedness