Step into the TARDIS as we go on a deep-dive to explain how federation in Matrix works. We'll cover the protocol, its robustness qualities and how it relates to CRDTs, all whilst operating safely in Byzantine environments far larger than consensus-based blockchains. To aid in our journey, interactive visualisations backed by real homeservers are used to explain core concepts via TARDIS and other tooling.