Notifications are global, regardless of which section a Mini App lives in: an earning position can tell you something changed even while its Mini App is closed. This builds on an existing design exploration by our design team, and on the push-notification enabler on the protocol side.
Linked Protocol milestones: Ah.5 Mini Apps native support