Thanks for sharing.
In my early experiments I found that pulling -1.36 EV was “theoretically ideal” for HLG export (i.e. preserves same mid-gray as when mastering for SDR).
Just out of curiosity - does 10-bit HLG AVIF have the same level of support in your environment?