> Do you have any references supporting either that the protocol was more complicated than he demonstrated on stage

BitKeeper itself is open source now and (an old version) of the protocol is documented at https://github.com/bitkeeper-scm/bitkeeper/blob/master/doc/p....