in update head, we should also add an `assert` that its downstream from the store's latest justified to make sure the head of chain is always "available" and to bring up any voting that is not consistent

[GrapeBaBa]

in update head, we should also add an assert that its downstream from the store's latest justified to make sure the head of chain is always "available" and to bring up any voting that is not consistent

also where we have checkpoint sync add the spec change that it needs to download one block after the finalized state from the peers which "confirms" the checkpoint state's block as finalized and also helps node "discover" a justified block downstream

Originally posted by @g11tech in #595 (comment)