Thank you - an issue has been opened on github: https://forum.boardgamers.space/topic/191/bug-confirmation-for-wasting-science-when-advancing-to-last-step
you probably know, but just in case: if you make the mines in s10/4 part of a different federation first, it will then be legal to make the academy-tp fed you wanted
When Taklons tapped the Place a Gaiaformer action button with Automated brainstone checked, "Possible brain stone areas: area 1,gaia" error was displayed and the action did not work. At that time, the power tokens were in 1 (B)/9/1.
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