I did not name specifics because things are constantly changing in this market and these threads tend to live for years. Stock and prices are constantly changing but RUiXU, EG4 and EcoWorthy are widely available brands with UL listed options. Will Prowse's website has a page dedicated to code compliant batteries and there are several long lists and excel sheets on the diysolarforum.
Eco Worthy is not UL Listed and 45 kWh of RUiXU/EG4 is $10k+. Everything you've said is pretty spot on except for 45 kWh UL-listed batteries at $5,400.