I first suspected an octal dump (od) inspection in Linux of a 10-bit recorded HDMI stream may help, but then realized knowing the encoding layout would probably be required.
Some here have the Sony FDR-AX100, and have posted that it has an 8-bit HDMI out. How exactly has this been confirmed?
This site states the RX10 III also has an 8-bit output, but how has that been confirmed? I cannot seem to find the true specifications for HDMI output on either model from Sony.
For now and the future, other than obtaining perhaps the HDMI standard used on the output (which is also hard to verify), how can the number of bits output from a device be verified manually via a 10-bit recording?