Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels