Architecture This section documents the internal design decisions and guarantees of grelmicro. Synchronization: Worker identity, token generation, and lock design.