The spec is still not open, as far as I can tell. The TB4 mode of USB4 appears to still be proprietary.