Where is the signing part? Also there are at least two proofs.

What makes more sense is to describe algorithm then give the proofs

Needed Proofs
1) All heartbeats seen by all honest hosts will be included.
2) All honest hosts will end up with the same block.