refactor(halkyon_app): the account section, About, the language and countries' names, shared

What Learn and Todo each held now comes from halkyon_app:
- AccountTiles: whose account on which instance, switching, signing
  out (asking first for an anonymous account, as it deletes it) and
  deleting it (asking first), the app's own words passed in.
- showAppAbout: the app's name, version, icon and legalese as it gives
  them, the source of what the instance runs (AppDependencies gains
  sourceCodeUrl), the app's own parts, the licence list.
- resolveAppLocale: the first preferred language the app speaks, never
  by country alone, British English otherwise.
- AssetCountryNames, the default of InstanceGate and InstanceScope:
  Unicode CLDR 48.2's territory names in English and German
  (tool/country_names.py, 7.6 KB), Hong Kong, Macao, Myanmar and
  Palestine by their short names as Learn's world map has them, so
  Todo says "Germany (EU)" where it said "DE (EU)".

Learn's texts read as before in every language; its About bloc and
gateway, its country names from the world map and the keys only the
moved code used are gone, as are Todo's copies.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>

packages/halkyon_app/lib/halkyon_app.dart

@@ -8,6 +8,9 @@
 ///   in use (`AppDependencies`, `AppScope`); `SessionGate` keeps a person
 ///   signed in and asks how to start once signed out (`StartScreen`);
 ///   `PersonScope` opens each person's own dependencies.
+/// - **The account and About**: `AccountTiles` for an app's settings,
+///   `showAppAbout` with the source of what the instance runs, and
+///   `resolveAppLocale`, the language every Halkyon app picks.
 /// - **Signing in**: anonymously, with GitHub or with a code by mail
 ///   (`AuthRepository` on `ServerpodAuthGateway`), and the blocs and sheet
 ///   that switch a device to another account.
@@ -20,7 +23,9 @@
 library;
 
 export 'l10n/halkyon_app_localizations.dart';
+export 'src/app/about.dart';
 export 'src/app/app_frame.dart' show AppFrame, AppFrameScope, LookSettings;
+export 'src/app/app_locale.dart';
 export 'src/app/app_scope.dart';
 export 'src/app/instance_gate.dart';
 export 'src/app/person_scope.dart';
@@ -39,6 +44,7 @@ export 'src/auth/model/email_sign_in.dart';
 export 'src/auth/model/github_link_outcome.dart';
 export 'src/auth/model/github_sign_in.dart';
 export 'src/auth/model/sign_in_ways.dart';
+export 'src/auth/widget/account_tiles.dart';
 export 'src/auth/widget/email_sign_in_sheet.dart';
 export 'src/auth/widget/session_gate.dart';
 export 'src/auth/widget/start_screen.dart';

packages/halkyon_app/lib/l10n/halkyon_app_de.arb

@@ -28,6 +28,15 @@
   "accountRemoveTitle": "Konto entfernen?",
   "accountRemoveMessage": "Entfernt das Konto auf {name} von diesem Gerät, mit allem, was das Gerät davon hat. Was es synchronisiert hat, bleibt auf {name}: Melde dich dort wieder an, um es wiederzuhaben. In ein anonymes Konto kann man sich nicht wieder anmelden.",
   "accountRemoveConfirm": "Entfernen",
+  "accountSignedInOn": "Angemeldet auf {instance}",
+  "accountAnonymousOn": "Anonym auf {instance}",
+  "accountSwitch": "Konto wechseln",
+  "accountSignOut": "Abmelden",
+  "accountSignOutTitle": "Abmelden?",
+  "accountDelete": "Konto löschen",
+  "accountDeleteTitle": "Dein Konto löschen?",
+  "aboutSourceCode": "Der Quellcode dessen, was diese Instanz ausführt:",
+  "aboutSourceUnreachable": "Diese Instanz war nicht erreichbar, um nach ihrem Quellcode zu fragen.",
   "sessionUnreachable": "Der Server war nicht erreichbar.",
   "personDataFailed": "Die Daten dieses Geräts konnten nicht geöffnet werden.",
   "startSignedOut": "Abgemeldet",

packages/halkyon_app/lib/l10n/halkyon_app_en.arb

@@ -107,6 +107,29 @@
     }
   },
   "accountRemoveConfirm": "Remove",
+  "accountSignedInOn": "Signed in on {instance}",
+  "@accountSignedInOn": {
+    "placeholders": {
+      "instance": {
+        "type": "String"
+      }
+    }
+  },
+  "accountAnonymousOn": "Anonymous on {instance}",
+  "@accountAnonymousOn": {
+    "placeholders": {
+      "instance": {
+        "type": "String"
+      }
+    }
+  },
+  "accountSwitch": "Switch account",
+  "accountSignOut": "Sign out",
+  "accountSignOutTitle": "Sign out?",
+  "accountDelete": "Delete account",
+  "accountDeleteTitle": "Delete your account?",
+  "aboutSourceCode": "The source of what this instance runs:",
+  "aboutSourceUnreachable": "Couldn't reach this instance to ask where its source is.",
   "sessionUnreachable": "Couldn't reach the server.",
   "personDataFailed": "Couldn't open this device's data.",
   "startSignedOut": "Signed out",

packages/halkyon_app/lib/l10n/halkyon_app_localizations.dart

@@ -271,6 +271,60 @@ abstract class HalkyonAppLocalizations {
   /// **'Remove'**
   String get accountRemoveConfirm;
 
+  /// No description provided for @accountSignedInOn.
+  ///
+  /// In en, this message translates to:
+  /// **'Signed in on {instance}'**
+  String accountSignedInOn(String instance);
+
+  /// No description provided for @accountAnonymousOn.
+  ///
+  /// In en, this message translates to:
+  /// **'Anonymous on {instance}'**
+  String accountAnonymousOn(String instance);
+
+  /// No description provided for @accountSwitch.
+  ///
+  /// In en, this message translates to:
+  /// **'Switch account'**
+  String get accountSwitch;
+
+  /// No description provided for @accountSignOut.
+  ///
+  /// In en, this message translates to:
+  /// **'Sign out'**
+  String get accountSignOut;
+
+  /// No description provided for @accountSignOutTitle.
+  ///
+  /// In en, this message translates to:
+  /// **'Sign out?'**
+  String get accountSignOutTitle;
+
+  /// No description provided for @accountDelete.
+  ///
+  /// In en, this message translates to:
+  /// **'Delete account'**
+  String get accountDelete;
+
+  /// No description provided for @accountDeleteTitle.
+  ///
+  /// In en, this message translates to:
+  /// **'Delete your account?'**
+  String get accountDeleteTitle;
+
+  /// No description provided for @aboutSourceCode.
+  ///
+  /// In en, this message translates to:
+  /// **'The source of what this instance runs:'**
+  String get aboutSourceCode;
+
+  /// No description provided for @aboutSourceUnreachable.
+  ///
+  /// In en, this message translates to:
+  /// **'Couldn\'t reach this instance to ask where its source is.'**
+  String get aboutSourceUnreachable;
+
   /// No description provided for @sessionUnreachable.
   ///
   /// In en, this message translates to:

packages/halkyon_app/lib/l10n/halkyon_app_localizations_de.dart

@@ -114,6 +114,39 @@ class HalkyonAppLocalizationsDe extends HalkyonAppLocalizations {
   @override
   String get accountRemoveConfirm => 'Entfernen';
 
+  @override
+  String accountSignedInOn(String instance) {
+    return 'Angemeldet auf $instance';
+  }
+
+  @override
+  String accountAnonymousOn(String instance) {
+    return 'Anonym auf $instance';
+  }
+
+  @override
+  String get accountSwitch => 'Konto wechseln';
+
+  @override
+  String get accountSignOut => 'Abmelden';
+
+  @override
+  String get accountSignOutTitle => 'Abmelden?';
+
+  @override
+  String get accountDelete => 'Konto löschen';
+
+  @override
+  String get accountDeleteTitle => 'Dein Konto löschen?';
+
+  @override
+  String get aboutSourceCode =>
+      'Der Quellcode dessen, was diese Instanz ausführt:';
+
+  @override
+  String get aboutSourceUnreachable =>
+      'Diese Instanz war nicht erreichbar, um nach ihrem Quellcode zu fragen.';
+
   @override
   String get sessionUnreachable => 'Der Server war nicht erreichbar.';
 

packages/halkyon_app/lib/l10n/halkyon_app_localizations_en.dart

@@ -114,6 +114,38 @@ class HalkyonAppLocalizationsEn extends HalkyonAppLocalizations {
   @override
   String get accountRemoveConfirm => 'Remove';
 
+  @override
+  String accountSignedInOn(String instance) {
+    return 'Signed in on $instance';
+  }
+
+  @override
+  String accountAnonymousOn(String instance) {
+    return 'Anonymous on $instance';
+  }
+
+  @override
+  String get accountSwitch => 'Switch account';
+
+  @override
+  String get accountSignOut => 'Sign out';
+
+  @override
+  String get accountSignOutTitle => 'Sign out?';
+
+  @override
+  String get accountDelete => 'Delete account';
+
+  @override
+  String get accountDeleteTitle => 'Delete your account?';
+
+  @override
+  String get aboutSourceCode => 'The source of what this instance runs:';
+
+  @override
+  String get aboutSourceUnreachable =>
+      'Couldn\'t reach this instance to ask where its source is.';
+
   @override
   String get sessionUnreachable => 'Couldn\'t reach the server.';
 

packages/halkyon_app/lib/src/app/about.dart

@@ -0,0 +1,75 @@
+import 'package:halkyon_app/l10n/halkyon_app_localizations.dart';
+import 'package:halkyon_app/src/app/app_frame.dart';
+import 'package:halkyon_app/src/app/app_scope.dart';
+import 'package:material_ui/material_ui.dart';
+
+/// Shows what the app is: its name (the frame's), and as the app gives them
+/// its [version], [icon] and [legalese]; where the source of what the
+/// instance runs is ([InstanceSourceCode]), which both licences require
+/// offering to the people who use the instance; the app's own parts
+/// ([children], such as its credits); and Flutter's "View licenses", every
+/// package's notice, which the BSD and MIT packages require in a
+/// distributed app, the notices the app registers among them.
+void showAppAbout(
+  BuildContext context, {
+  String? version,
+  Widget? icon,
+  String? legalese,
+  List<Widget> children = const [],
+}) => showAboutDialog(
+  context: context,
+  applicationName: AppFrameScope.of(context).name(context),
+  applicationVersion: version,
+  applicationIcon: icon,
+  applicationLegalese: legalese,
+  children: [const InstanceSourceCode(), ...children],
+);
+
+/// Where the source of what the instance in use runs is, as it names it
+/// ([AppDependencies.sourceCodeUrl]): nothing while asking, then the address
+/// to select, or that the instance couldn't be asked.
+class const InstanceSourceCode({super.key}) extends StatefulWidget {
+  @override
+  State<InstanceSourceCode> createState() => _InstanceSourceCodeState();
+}
+
+class _InstanceSourceCodeState() extends State<InstanceSourceCode> {
+  late final Future<String?> _url = _ask();
+
+  /// The address, or null where the instance couldn't be asked.
+  Future<String?> _ask() async {
+    try {
+      return await AppScope.of<AppDependencies<Disposable>>(
+        context,
+      ).sourceCodeUrl();
+    } on Exception {
+      return null;
+    }
+  }
+
+  @override
+  Widget build(BuildContext context) {
+    final l10n = HalkyonAppLocalizations.of(context);
+    return Padding(
+      padding: const EdgeInsets.only(top: 16),
+      child: FutureBuilder<String?>(
+        future: _url,
+        builder: (context, snapshot) =>
+            switch ((snapshot.connectionState, snapshot.data)) {
+              (ConnectionState.done, final url?) => Column(
+                mainAxisSize: MainAxisSize.min,
+                crossAxisAlignment: CrossAxisAlignment.start,
+                children: [
+                  Text(l10n.aboutSourceCode),
+                  SelectableText(url),
+                ],
+              ),
+              (ConnectionState.done, null) => Text(
+                l10n.aboutSourceUnreachable,
+              ),
+              _ => const SizedBox.shrink(),
+            },
+      ),
+    );
+  }
+}

packages/halkyon_app/lib/src/app/app_locale.dart

@@ -0,0 +1,41 @@
+import 'package:flutter/widgets.dart';
+
+/// The English a Halkyon app speaks wherever it can't speak the language
+/// asked for: British English, which its template ARB file holds.
+const _fallback = Locale('en', 'GB');
+
+/// Which of the [supported] locales the app speaks, for a device that prefers
+/// the [preferred] ones in this order (or a person who chose one): an app's
+/// `localeListResolutionCallback`, as `AppFrame.localeListResolutionCallback`
+/// too.
+///
+/// The first preferred language the app speaks wins: in its country's
+/// variant where there is one, otherwise as the language alone, and English
+/// of any other country as British English. Unlike Flutter's own resolution,
+/// a country alone never picks a language (Spanish in the United States
+/// isn't American English), and where none matches, the app speaks British
+/// English rather than the first supported locale.
+Locale resolveAppLocale(List<Locale>? preferred, Iterable<Locale> supported) {
+  for (final locale in preferred ?? const <Locale>[]) {
+    final sameLanguage = supported.where(
+      (candidate) => candidate.languageCode == locale.languageCode,
+    );
+    if (sameLanguage.isEmpty) {
+      continue;
+    }
+    for (final candidate in sameLanguage) {
+      if (candidate.countryCode != null &&
+          candidate.countryCode == locale.countryCode) {
+        return candidate;
+      }
+    }
+    if (locale.languageCode == _fallback.languageCode) {
+      return _fallback;
+    }
+    return sameLanguage.firstWhere(
+      (candidate) => candidate.countryCode == null,
+      orElse: () => sameLanguage.first,
+    );
+  }
+  return _fallback;
+}

packages/halkyon_app/lib/src/app/app_scope.dart

@@ -26,6 +26,11 @@ abstract interface class AppDependencies<P extends Disposable>()
   /// Whether the person here signed out, so the app asks how to start.
   SignedOutMark get signedOut;
 
+  /// Where the source of what the instance runs is, as it names it (its
+  /// basics, halkyon_base's): both licences require offering it to the
+  /// people who use the instance, which About does (`showAppAbout`).
+  Future<String> sourceCodeUrl();
+
   /// Opens the dependencies of [person], once the previous person's have
   /// closed; `PersonScope` disposes them when the person goes.
   Future<P> openPerson(SignedIn person);

packages/halkyon_app/lib/src/app/instance_gate.dart

@@ -30,8 +30,9 @@ class const InstanceGate({
   /// Checks an address before the app moves there.
   required final InstanceChecker checker,
 
-  /// Names the countries instances keep their data in.
-  required final CountryNames countryNames,
+  /// Names the countries instances keep their data in: Unicode CLDR's,
+  /// which come with the package, unless a test gives others.
+  final CountryNames countryNames = const AssetCountryNames(),
 
   /// Names the subdivisions (states, regions) they keep it in: Unicode
   /// CLDR's, which come with the package, unless a test gives others.

packages/halkyon_app/lib/src/auth/widget/account_tiles.dart

@@ -0,0 +1,120 @@
+import 'package:flutter_bloc/flutter_bloc.dart';
+import 'package:halkyon_app/l10n/halkyon_app_localizations.dart';
+import 'package:halkyon_app/src/app/app_scope.dart';
+import 'package:halkyon_app/src/auth/bloc/session_bloc.dart';
+import 'package:halkyon_app/src/instance/instance_scope.dart';
+import 'package:halkyon_app/src/instance/widget/account_switcher_sheet.dart';
+import 'package:halkyon_ui/halkyon_ui.dart';
+import 'package:lucide_icons_flutter/lucide_icons.dart';
+import 'package:material_ui/material_ui.dart';
+
+/// The account in use, as an app's settings show it (decided 2026-10-16):
+/// whose it is, anonymous or signed in, on which instance; switching to the
+/// account on another instance, where the device keeps accounts on several
+/// ([InstanceScope]); signing out, which of an anonymous account deletes it
+/// and so asks first; deleting it, after asking. What only the app can say,
+/// it gives: what an anonymous account keeps on the device, and what signing
+/// out of one and deleting the account take with them.
+class const AccountTiles({
+  /// Under an anonymous account: what it keeps on this device ("Progress is
+  /// saved on this device. Sign in to keep it."); none where null.
+  final String? anonymousNote,
+
+  /// What signing out of an anonymous account takes with it, as the
+  /// question before asks.
+  required final String signOutAnonymousMessage,
+
+  /// What deleting the account takes with it, as the question before asks.
+  required final String deleteMessage,
+  super.key,
+}) extends StatelessWidget {
+  @override
+  Widget build(BuildContext context) {
+    final l10n = HalkyonAppLocalizations.of(context);
+    final theme = Theme.of(context);
+    final identified = switch (context.watch<SessionBloc>().state) {
+      SessionStateActive(:final person) => person.isIdentified,
+      _ => false,
+    };
+    final instances = InstanceScope.maybeOf(context);
+    final instance =
+        instances?.choice.current?.name ??
+        AppScope.of<AppDependencies<Disposable>>(context).serverName;
+    return Column(
+      mainAxisSize: MainAxisSize.min,
+      crossAxisAlignment: CrossAxisAlignment.stretch,
+      children: [
+        ListTile(
+          leading: Icon(
+            identified ? LucideIcons.userCheck : LucideIcons.userRound,
+          ),
+          title: Text(
+            identified
+                ? l10n.accountSignedInOn(instance)
+                : l10n.accountAnonymousOn(instance),
+          ),
+          subtitle: switch (anonymousNote) {
+            final note? when !identified => Text(note),
+            _ => null,
+          },
+        ),
+        // The accounts on this device, one per instance.
+        if (instances != null)
+          ListTile(
+            leading: const Icon(LucideIcons.users),
+            title: Text(l10n.accountSwitch),
+            subtitle: Text(instances.choice.current?.name ?? ''),
+            onTap: () => showAccountSwitcher(context),
+          ),
+        ListTile(
+          leading: const Icon(LucideIcons.logOut),
+          title: Text(l10n.accountSignOut),
+          onTap: () => _signOut(context),
+        ),
+        ListTile(
+          leading: Icon(LucideIcons.trash2, color: theme.colorScheme.error),
+          title: Text(
+            l10n.accountDelete,
+            style: TextStyle(color: theme.colorScheme.error),
+          ),
+          onTap: () => _delete(context),
+        ),
+      ],
+    );
+  }
+
+  /// Signs out; an anonymous account can't be signed into again, so signing
+  /// out of one deletes it, and asks first. The app then asks how to start.
+  Future<void> _signOut(BuildContext context) async {
+    final l10n = HalkyonAppLocalizations.of(context);
+    final session = context.read<SessionBloc>();
+    final identified = switch (session.state) {
+      SessionStateActive(:final person) => person.isIdentified,
+      _ => false,
+    };
+    if (!identified &&
+        !await confirmDestructiveAction(
+          context,
+          title: l10n.accountSignOutTitle,
+          message: signOutAnonymousMessage,
+          confirmLabel: l10n.accountSignOut,
+        )) {
+      return;
+    }
+    session.add(const SessionEventSignOutRequested());
+  }
+
+  /// Deletes the account with everything in it, after asking.
+  Future<void> _delete(BuildContext context) async {
+    final l10n = HalkyonAppLocalizations.of(context);
+    final session = context.read<SessionBloc>();
+    if (await confirmDestructiveAction(
+      context,
+      title: l10n.accountDeleteTitle,
+      message: deleteMessage,
+      confirmLabel: l10n.accountDelete,
+    )) {
+      session.add(const SessionEventDeleteRequested());
+    }
+  }
+}

packages/halkyon_app/lib/src/instance/country_names.dart

@@ -1,12 +1,47 @@
-/// Countries' names by their code (ISO 3166-1 alpha-2), in a language, as
-/// the app knows them (Halkyon Learn: its world map's, Unicode CLDR's).
-/// Tests give them with [MemoryCountryNames].
+import 'dart:convert';
+
+import 'package:flutter/services.dart';
+
+/// Countries' names by their code (ISO 3166-1 alpha-2), in a language.
+/// [AssetCountryNames] reads Unicode CLDR's, which come with the package;
+/// tests give them with [MemoryCountryNames].
 abstract interface class CountryNames() {
   /// [code]'s name in [language], else in English; null for a code without
   /// one.
   Future<String?> nameOf(String code, String language);
 }
 
+/// Unicode CLDR's names of countries in English and German, from the
+/// package's own asset ([countryNamesAsset], written by its
+/// `tool/country_names.py`), read when first asked for and kept.
+class const AssetCountryNames() implements CountryNames {
+  /// The names read, by language and then code; kept as values, never as a
+  /// future (a widget test's fake clock never completes one made in its
+  /// real zone).
+  static Map<String, Map<String, String>>? _names;
+
+  @override
+  Future<String?> nameOf(String code, String language) async {
+    final names = _names ??= _read(
+      await rootBundle.loadString(countryNamesAsset),
+    );
+    final key = code.toUpperCase();
+    return names[language]?[key] ?? names['en']?[key];
+  }
+
+  static Map<String, Map<String, String>> _read(String json) => {
+    for (final MapEntry(:key, :value)
+        in (jsonDecode(json) as Map<String, Object?>).entries)
+      if (value is Map<String, Object?>) key: value.cast<String, String>(),
+  };
+}
+
+/// Where the names are, among this package's assets: an object of
+/// languages, each of codes and names; German holds only the names that
+/// differ from English.
+const countryNamesAsset =
+    'packages/halkyon_app/assets/countries/countries.json';
+
 /// The names given, by code and then language, as a test gives them.
 class MemoryCountryNames(final Map<String, Map<String, String>> _names)
     implements CountryNames {

packages/halkyon_app/lib/src/instance/instance_scope.dart

@@ -12,8 +12,9 @@ class const InstanceScope({
   /// Checks an address before the app moves there.
   required final InstanceChecker checker,
 
-  /// Names the countries instances keep their data in.
-  required final CountryNames countryNames,
+  /// Names the countries instances keep their data in: Unicode CLDR's,
+  /// which come with the package, unless a test gives others.
+  final CountryNames countryNames = const AssetCountryNames(),
 
   /// Names the subdivisions (states, regions) they keep it in: Unicode
   /// CLDR's, which come with the package, unless a test gives others.

packages/halkyon_app/lib/src/testing/test_app.dart

@@ -100,6 +100,20 @@ class TestAppDependencies({
   @override
   final MemorySignedOutMark signedOut = MemorySignedOutMark();
 
+  /// Where the instance says its source is.
+  String sourceCode = 'https://code.example.org/halkyon';
+
+  /// Thrown by asking where the source is while set.
+  Exception? sourceCodeError;
+
+  @override
+  Future<String> sourceCodeUrl() async {
+    if (sourceCodeError case final error?) {
+      throw error;
+    }
+    return sourceCode;
+  }
+
   /// The people whose dependencies were opened, in order.
   final opened = <TestPerson>[];