Fork choice is not always finality
A fork-choice rule selects the canonical head from currently known branches. Finality describes when reverting a block becomes impossible under protocol rules or sufficiently improbable under an explicit risk model.