Yes, you are not right. Everything regarding MIUI/HyperOS base is closed source, we don't have any access to Xiaomi sources. Even if system_ext is based on AOSP, there are still many changes on Xiaomi's side (and it's not necessarily to be purely AOSP, Qualcomm also modifies AOSP code).