ReservationId

Identity of one local reservation — a leaf earmark awaiting completion (design §4.4).