fix(html): recognize user credit and permission page url

lib/exceptions/exceptions.dart

@@ -372,6 +372,11 @@ final class ThreadPublishLocationNotFoundException extends AppException
 final class NotificationUserNotFound extends AppException
     with NotificationUserNotFoundMappable {}
 
+/// Notification not found in bloc.
+@MappableClass()
+final class NotificationNotFound extends AppException
+    with NotificationNotFoundMappable {}
+
 /// Cookie not found in storage when doing auto checkin for user [userInfo].
 ///
 /// Means a checkin failure.

lib/extensions/string.dart

@@ -204,6 +204,36 @@ extension ParseUrl on String {
   String? uriQueryParameter(String name) {
     return Uri.parse(this).queryParameters[name];
   }
+
+  /// Check a string is pattern of user space url.
+  ///
+  /// A string is a valid user space url ONLY if
+  ///
+  /// 1. Is a valid url.
+  /// 2. In query parameters, 'mod' == 'space'.
+  /// 3. In query parameters, contains key 'uid' or 'username'. (email ignored).
+  /// 4. In query parameters, value of 'ac' is neither 'usergroup' nor 'credit'.
+  bool get isUserSpaceUrl {
+    final args = Uri.tryParse(this)?.queryParameters;
+    if (args == null) {
+      return false;
+    }
+
+    if (args['mod'] != 'space') {
+      return false;
+    }
+
+    if (args['uid'] == null && args['username'] == null) {
+      return false;
+    }
+
+    final ac = args['ac'];
+    if (ac == 'usergroup' || ac == 'credit') {
+      return false;
+    }
+
+    return true;
+  }
 }
 
 /// Extension on [String] that enhances modification.

lib/features/notification/bloc/notification_bloc.dart

@@ -1,6 +1,7 @@
 import 'package:bloc/bloc.dart';
 import 'package:dart_mappable/dart_mappable.dart';
 import 'package:fpdart/fpdart.dart';
+import 'package:tsdm_client/exceptions/exceptions.dart';
 import 'package:tsdm_client/extensions/date_time.dart';
 import 'package:tsdm_client/extensions/fp.dart';
 import 'package:tsdm_client/extensions/string.dart';
@@ -400,6 +401,10 @@ class NotificationBloc extends Bloc<NotificationEvent, NotificationState>
     final task = switch (recordMark) {
       RecordMarkNotice(:final uid, :final nid, alreadyRead: final read) => () {
           final targetIndex = state.noticeList.indexWhere((e) => e.id == nid);
+          if (targetIndex < 0) {
+            // target not found.
+            return AsyncVoidEither(() async => left(NotificationNotFound()));
+          }
           final target = state.noticeList[targetIndex];
           final list = state.noticeList.toList();
           list[targetIndex] = target.copyWith(alreadyRead: read);

lib/utils/html/html_muncher.dart

@@ -846,7 +846,7 @@ final class _Muncher with LoggerMixin {
       return ret;
     }
     final Widget content;
-    if (url.contains('mod=space') && !element.innerText.contains('@')) {
+    if (url.isUserSpaceUrl && !element.innerText.contains('@')) {
       content = Text(
         '@',
         style: TextStyle(

pubspec.lock

@@ -2078,4 +2078,4 @@ packages:
     version: "3.1.3"
 sdks:
   dart: ">=3.6.0 <4.0.0"
-  flutter: ">=3.27.0"
+  flutter: ">=3.27.1"