From 0ac1937a5ceac5a41a26649e917af838cfc4e7a7 Mon Sep 17 00:00:00 2001
From: kyoshisuki <143475866+kyoshisuki@users.noreply.github.com>
Date: Tue, 10 Oct 2023 20:12:25 -0700
Subject: [PATCH] Fix typo in block formation logic documentation (#2158)

---
 vms/platformvm/docs/block_formation_logic.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vms/platformvm/docs/block_formation_logic.md b/vms/platformvm/docs/block_formation_logic.md
index a9502afc526c..4f049c51e3ad 100644
--- a/vms/platformvm/docs/block_formation_logic.md
+++ b/vms/platformvm/docs/block_formation_logic.md
@@ -46,7 +46,7 @@ While the above steps could be executed in any order, we pick decisions transact
 
 Once all possibilities of create a block not advancing chain time are exhausted, we attempt to build a block which _may_ advance chain time as follows:
 
-1. If the local clock's time is greater than or equal to the earliest change-event timestamp of the staker set, an advance time transaction is issued into a Proposal Block to move current chain time to the earliest change timestamp of the staker set. Upon this Proposal Block's acceptance, chain time will be move ahead and all scheduled changes (e.g. promoting a staker from pending to current) will be carried out.
+1. If the local clock's time is greater than or equal to the earliest change-event timestamp of the staker set, an advance time transaction is issued into a Proposal Block to move current chain time to the earliest change timestamp of the staker set. Upon this Proposal Block's acceptance, chain time will be moved ahead and all scheduled changes (e.g. promoting a staker from pending to current) will be carried out.
 2. If the mempool contains any proposal transactions, the mempool proposal transaction with the earliest start time is selected and included into a Proposal Block[^1]. A mempool proposal transaction as is won't change the current chain time[^2]. However there is an edge case to consider: on low activity chains (e.g. Fuji P-chain) chain time may fall significantly behind the local clock. If a proposal transaction is finally issued, its start time is likely to be quite far in the future relative to the current chain time. This would cause the proposal transaction to be considered invalid and rejected, since a staker added by a proposal transaction's start time must be at most 366 hours (two weeks) after current chain time. To avoid this edge case on low-activity chains, an advance time transaction is issued first to move chain time to the local clock's time. As soon as chain time is advanced, the mempool proposal transaction will be issued and accepted.
 
 Note that the order in which these steps are executed matters. A block updating chain time would be deemed invalid if it would advance time beyond the staker set's next change event, skipping the associated changes. The order above ensures this never happens because it checks first if chain time should be moved to the time of the next staker set change. It can also be verified by inspection that the timestamp selected for the advance time transactions always respect the synchrony bound.