> The GP noted

>> "we’ve found bugs in every Raft implementation we’ve tested, ..."

> which says that there aren't any correct ones

That only follows if the GP tested every Raft implementation in existence and no new ones were written since.