The protocol section specifies the message flow between actors, the lifecycle of a sealed reserve unit, the cryptographic primitives, and the optional zero-knowledge integration. Every page in this section names its assumptions, what it proves, and what it does not.