Documents the messagebox protocol with implementation-agnostic state machines for sender, store, and reader components.