But can't any log be implemented as a CRDT? Was that not implied in the post? I didn't read it that close...
For something that is trying to solve the general problem of consistent single ground-truth log, you can't really do much better than Spanner.