@marcan one question.

Is the issue you are encountering likely also a pain for other USB 4 / Thunderbolt stacks drivers ?

Would there be a way to design a subsystem to deal with USB / Thunderbolt and alt mode independently from that stack, to actually make it possible to deal with those stacks as a whole ?

(That would mean a lot more code, but probably avoid the nonsensical issues you currently have)