What has 2023 do to with anything? The four essential freedoms for software were written more than thirty years ago and today are more relevant than ever: https://www.gnu.org/philosophy/free-sw.en.html#four-freedoms
To answer your question: any government mandated software, or software used, or bought, or promoted by, or paid for by the government should be free software.