You can recover your broken Astroid image to the factory setting by following steps.
Download Astroid OS image from dynamicdeepsky.com under the support page
Download Raspberry pi imager from https://www.raspberrypi.org/software/
Pull out the OS SD card from Astroid and mount it to your computer either by SD card usb adaptor or built in sd card reader.
Burn your SD card with the downloaded image.
Put it back to Astroid and connect a power.
Now, you need to setup your license and serial. Refers to Assembly Instruction to see how you set up the license and serial.
Check the system version on the ShowInfo window and run update if it is outdated. See System Update for more information