That's a really nice article! Seeing Paxos from different angles always interest me. I wrote an article about the message flow in Fast-Paxos:
https://fadhil.id/blogs/posts/fast-paxos/
My article also mentions the trick of leader with lockID=0 and consecutive lockID used in Fast-Paxos.
My article also mentions the trick of leader with lockID=0 and consecutive lockID used in Fast-Paxos.