Da quel che ricordo quando studiai il processo: i blocchi già verificati ed accettati dalla rete non subiscono più ricontrolli e non sono sottoposti alla regola local time +2, sono considerati immutabili, giustamente. Poi quando un nodo riceve un nuovo blocco viene verificato il timestamp che non abbia ad esempio una data antecedente il precedente e ne verifica il localtime+2 ma solo su questo non sui precedenti.

Sul fatto che scrivi del timestamp+10 potrebbe essere configurato dalla rete come errore/problema bizantino ed il blocco rifiutato perchè outlier rispetto alla norma; però è anche vero che il processo di convalida non si basa sulla verità assoluta ma sul concetto di coerenza complessiva della rete. Quindi se effettivamente hai un timestamp+10 l'importante è che il successivo blocco abbia timestamp successivo a questo.