platform upgrades

lib/push/push_registration.dart

@@ -343,7 +343,8 @@ class PushRegistration {
   /// transient plugin/platform hiccup never silently disables push (the OS
   /// simply won't show notifications until the user decides).
   static bool isPermissionUsable(AuthorizationStatus status) =>
-      status != AuthorizationStatus.denied;
+      status != AuthorizationStatus.denied &&
+      status != AuthorizationStatus.deniedPermanently;
 
   /// Requests the OS notification permission (covers iOS + Android 13) and
   /// returns whether registration should proceed. Errors from the plugin are
@@ -365,7 +366,7 @@ class PushRegistration {
     try {
       final settings = await FirebaseMessaging.instance
           .getNotificationSettings();
-      return settings.authorizationStatus == AuthorizationStatus.denied;
+      return !isPermissionUsable(settings.authorizationStatus);
     } on Object {
       return false;
     }

lib/push/push_status.dart

@@ -148,6 +148,7 @@ Future<PushCheck> _osPermission() async {
       case AuthorizationStatus.provisional:
         return PushCheck.ok;
       case AuthorizationStatus.denied:
+      case AuthorizationStatus.deniedPermanently:
         return PushCheck.fail;
       case AuthorizationStatus.notDetermined:
         return PushCheck.unknown;

lib/state/app/modules/app_modules.dart

@@ -203,7 +203,7 @@ class AppModule {
     var moveIndex = 0;
     return [
       for (final m in effective)
-        displayedSet.contains(m) ? moved[moveIndex++] : m,
+        if (displayedSet.contains(m)) moved[moveIndex++] else m,
     ];
   }