H1 camera with v9.1.2 firmware and V19.1.0 lens (HCD35-90) gives 1/1000S.
When you try an orange dot lens on the GFX 100s, and you have set the option to "Lens", so it engages the leaf shutter, the shutter speed maxes at 1/800th (then goes to Bulb). Same as with non orange dot lenses.
This is because the 1/800th leaf shutter max is a mechanical limitation. The ability to shoot at faster speeds (up to 1/2000th with orange dot) is via firmware trickery (same with some of the Phase One Schneider lenses) which at least at the moment is only viable when mounted to a Hasselblad H body. Whether Fuji can or will update firmware to enable this is unknown.
Steve Hendrix/CI
As Bob indicates above, the newer 'orange dot' lenses have a top shutter speed of 1/1,000 when used on any of the Hasselblad H models (H1 thru H5D) made from 2002 until the introduction in 2016 of the H6D and new lenses with faster shutter speed capabilities. All H6D and X-system models which followed from 2016 forward offer a 1/2,000 top speed by combining delayed sensor activation synched with the top mechanical speed of the newer orange dot lens shutter of 1/1,000.
I don't know why Fuji GFX cameras don't recognize a faster speed than 1/800 with a faster 'orange dot' lens shutter, but I suspect that their firmware is simpler and only recognizes a Hasselblad leaf shutter is attached and treats all shutters as having the same range — without the ability to recognize additional information received from the lens, regarding its shutter type and available speeds, to which older Hasselblad H models can and do respond.
No firmware upgrades were required for older H-system cameras to recognize the new 1/1,000 shutter speed. It appears the ability to recognize and respond to wider shutter speed ranges in different shutters was designed into the H-system platform from the beginning.
My only (and very minor) difference with your reply is my understanding that the top mechanical shutter speed limit for an 'orange dot' lens is 1/1,000 rather than 1/800. Hasselblad cameras recognize the different shutter types and their available speeds, while Fuji GFX models appear to be unable to tell the difference. If there's something else of which I'm unaware, I'm always happy to benefit from your knowledge and expertise.
Best Regards to you.