Despite of push notification changed to different sound, default sound is still present

[Seapup]

@jjade

which means that Android versions of the same base number aren’t really always the same

Your phone is not running Android per se. It is running OxygenOS. You don’t have the ability to customize some system settings such as Android Notification Channels.