City with population more than 600,000 or discharge of $1,000,000,000.00 in pension liabilities; defined benefit plan; retirement benefits for employees hired after July 1, 2023; health care insurance benefits; certification of compliance; definitions. Please see compilers notes or history at the bottom of the section for details.