Are push notifications stored and retrieved via history API?

Yes, messages intended as push notifications are automatically stored when the history (Storage & Playback) feature is enabled, just like regular published messages.