Fork resolving mechanism in the SOSP'17 Algorand paper

Hi,

In the SOSP’17 Algorand paper[1], a fork resolving mechanism has been demonstrated under Section 8.2, is this mechanism implemented in the official implementation[2]?

[1] Algorand | Proceedings of the 26th Symposium on Operating Systems Principles (acm.org)
[2] algorand/go-algorand: Algorand’s official implementation in Go. (github.com)