Thanks for the detailed post. The JPEG green cast is really bad. I tried to use HEIF on my A1, but as a primary raw shooter, I did not see many benefits. The issue is compatibility, especially with the 4:2:2 format. My Android phone cannot read it, so no ability to quickly share a picture. Lightroom does support it, though, which is good, but other applications or websites (ex: Flickr) have trouble with it.
That seems to be the same issue with JPEGXL, a great JPEG alternative with poor support, especially from camera vendors. And with the quality of sensors for at least 10 years, JPEG is really a poor format stuck in the past.