We experienced a bug in federation forming too. Yesterday our firak player was able to form a 9 satellite federation, while only having 8 power tokens (and no other resource he could convert into power).
This was the last action taken by the Firak player before passing in round 6: https://www.boardgamers.space/game/Un_gaia_tecnico