Important HDR Content Modifier Question!

I have an important question about the DCI's HDR standard.  Have the HDR1 and Barco HDR formats been proven (and confirmed) to be different enough to require their own different content modifiers yet?