federation is a tricky business. the fediverse ecosystem is still in active development. its still in its infancy. they call it the bleeding edge, cuz it can hurt.
if you want to learn about actual federation challenges, i would check out anything Christine Lemmer-Webber has written on the subject. she has an amazing way of boiling down the technical reasons for things.