Options-Fundament und Kapitalmodell im Core; Modul OptionsWheel

Das OptionsWheel setzt auf Dingen auf, die es im Core nicht gab. Diese
Sitzung baut sie.

#298 Optionen als Instrument. InstrumentKind/OptionSpec und ein
druckbarer Instrumentenschluessel ("AAPL|20260918|C|150"); TradeSignal
und OrderRequest tragen ein optionales OptionSpec, ohne das sich der
Aktienpfad unveraendert verhaelt. Position.Notional rechnet ab jetzt mit
der Kontraktgroesse - vorher war jede Option um Faktor 100 zu klein
bewertet und damit jedes Risikolimit wirkungslos, lautlos und in die
gefaehrliche Richtung. Daneben neu BoundCapital: ein Short Put bindet
Strike x Kontraktgroesse, nicht die vereinnahmte Praemie.

#300 sell-to-open. Jeder Auftrag zerfaellt in einen schliessenden und
einen eroeffnenden Teil; der schliessende wird von keinem Limit
verhindert - auch nicht vom Kaufstopp, denn ein Rueckkauf baut eine
Verpflichtung ab. Deckungspruefung im Core, nicht im Modul: Short Call
nur mit freien Aktien, Short Put nur mit reservierbarem Bargeld.

#302-#305 Kapital- und Buchmodell. Buecher mit reservierten Namen und
Eigentumsregeln, Pool mit Caps und Headroom, Margin-Sperre in vier
Schichten, core_reservation mit Lebenszyklus, Frist, Idempotenz ueber
(SignalId, ContractKey) und Quarantaene beim Start.

#309/#310 Modul OptionsWheel: ow_-Schema mit fuenf Tabellen,
Zustandsautomat, StrikeSelector, RollDecider, PremiumMath - vollstaendig
ohne Broker testbar. Der Handelsbetrieb bleibt gesperrt, solange #299
und #294 fehlen; das Modul sagt das ueber GetActivationBlocker, statt
still nichts zu tun.

#293 --verify-order am Daemon: eine Order durch die vollstaendige Kette
(Buch, Risiko, Bindung, Order, Fill, Buchung, Abschluss). Ohne --confirm
ein Trockenlauf; Abbruch ausserhalb von Paper-Modus UND Paper-Port.

Drei Widersprueche in den Konzepten sind dabei entschieden worden:
Schicht B heisst ab jetzt "kein UNGEDECKTER Short" (der Grund der Regel
war der Kredit, nicht der Short), die Hausreserve wird einmal abgezogen
statt zweimal, und der Positionsschluessel ist eine Spalte statt eines
Sechser-Verbunds (MySQL verlangt NOT NULL fuer Schluesselspalten).
Begruendungen stehen in docs/ROADMAP.md.

Enthaelt ausserdem die noch nicht committete Arbeit aus der vorigen
Sitzung: die Fehlerbehebungen aus Epic X (WorkerBase-Intervall,
BackupWorker, --check gegen die Datenbank, CapitolTrades-429, SIGTERM)
samt DatabaseEndpoint, MysqlDumpTool und der Roadmap-Umstellung. Sie lag
im Arbeitsbaum und liess sich nicht abtrennen, weil beide Staende
dieselben Dateien beruehren.

213 -> 369 Tests, Build ohne Warnung.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

src/IBKRTrader.App/IBKRTrader.App.csproj

@@ -23,6 +23,10 @@
     <!-- Wie beim Daemon: ICU ist Pflicht. Ohne sie kippt die feste de-DE-Formatierung des
          PDF-Exports auf invariant und Windows-Zeitzonen-IDs lassen sich nicht mehr auflösen. -->
     <InvariantGlobalization>false</InvariantGlobalization>
+    <!-- Symbol der Windows-Programmdatei. Muss eine .ico sein – das ist ein PE-Ressourcenformat,
+         kein Anzeigeformat. Das Fenstersymbol kommt NICHT von hier, sondern aus Shell/AppIcon.cs
+         (icon.png); die Begründung steht dort. -->
+    <ApplicationIcon>..\..\icon.ico</ApplicationIcon>
   </PropertyGroup>
 
   <ItemGroup>
@@ -49,6 +53,11 @@
          Wildcard-Muster mit in die Binärdatei nahm, ohne dass sie je aufgelöst wurden. Kommt ein
          neuer Schlüssel dazu, gehört das PNG hierher – eine Datei ohne Eintrag in ViewIcons nicht. -->
     <AvaloniaResource Include="..\..\Resources\*.png" Link="Assets\%(Filename)%(Extension)" />
+
+    <!-- Das Anwendungssymbol, eingebettet für Window.Icon (Shell/AppIcon.cs). Verlustfrei aus
+         icon.ico entnommen (256x256, RGBA); beide Dateien liegen im Projektstamm nebeneinander,
+         damit nicht eine ohne die andere getauscht wird. -->
+    <AvaloniaResource Include="..\..\icon.png" Link="Assets\icon.png" />
   </ItemGroup>
 
   <ItemGroup>

src/IBKRTrader.App/Program.cs

@@ -1,4 +1,7 @@
+using System.Runtime.InteropServices;
 using Avalonia;
+using Avalonia.Controls.ApplicationLifetimes;
+using Avalonia.Threading;
 using IBKRTrader.App.Shell;
 using IBKRTrader.Core.Logging;
 using IBKRTrader.Core.Modularity;
@@ -39,6 +42,15 @@ internal static class Program
         try
         {
             App.Services = host.Services;
+
+            // SIGTERM/SIGINT geordnet behandeln. Die Avalonia-Nachrichtenschleife endet sonst nur,
+            // wenn das letzte Fenster geschlossen wird: beim Abmelden, beim Herunterfahren des
+            // Rechners und bei jedem systemctl stop bekam die Shell ein SIGTERM, ignorierte es und
+            // wurde nach Ablauf der Frist mit SIGKILL abgeräumt – mitten im Worker-Lauf, ohne
+            // Modul- und Host-Stopp. Der Daemon behandelt beide Signale über den Host bereits.
+            using var sigterm = RegisterShutdownSignal(PosixSignal.SIGTERM, logger);
+            using var sigint  = RegisterShutdownSignal(PosixSignal.SIGINT,  logger);
+
             BuildAvaloniaApp().StartWithClassicDesktopLifetime(args);
             return 0;
         }
@@ -50,6 +62,32 @@ internal static class Program
         }
     }
 
+    /// <summary>
+    /// Beendet die Oberfläche auf ein Signal hin regulär, damit der finally-Zweig mit Modul- und
+    /// Host-Stopp greift. Steht die Oberfläche noch nicht, bleibt die Vorgabebehandlung des
+    /// Signals stehen; kennt die Plattform das Signal nicht, läuft die Shell wie bisher weiter.
+    /// </summary>
+    private static IDisposable? RegisterShutdownSignal(PosixSignal signal, LoggingService logger)
+    {
+        try
+        {
+            return PosixSignalRegistration.Create(signal, ctx =>
+            {
+                if (Avalonia.Application.Current?.ApplicationLifetime is not IClassicDesktopStyleApplicationLifetime desktop)
+                    return;
+
+                ctx.Cancel = true; // sonst endet der Prozess sofort – ohne Modul- und Host-Stopp
+                logger.Info("Core", $"{signal} empfangen – Oberfläche wird geordnet beendet.");
+                Dispatcher.UIThread.Post(() => desktop.Shutdown());
+            });
+        }
+        catch (Exception ex)
+        {
+            logger.Warn("Core", $"{signal} konnte nicht behandelt werden: {ex.Message}");
+            return null;
+        }
+    }
+
     /// <summary>Von Avalonia erwartete Fabrikmethode (auch vom XAML-Previewer genutzt).</summary>
     public static AppBuilder BuildAvaloniaApp() =>
         AppBuilder.Configure<App>()

src/IBKRTrader.App/Shell/AppIcon.cs

@@ -0,0 +1,51 @@
+using Avalonia.Controls;
+using Avalonia.Media.Imaging;
+using Avalonia.Platform;
+
+namespace IBKRTrader.App.Shell;
+
+/// <summary>
+/// Das Anwendungssymbol für alle Fenster der Shell – Titelleiste, Fensterliste, Taskleiste.
+///
+/// <para>Bewusst getrennt von <see cref="ViewIcons"/>: dort geht es um das Symbol <b>einer
+/// Ansicht</b> im Launcher und im Fenstermenü, hier um das Symbol <b>der Anwendung</b>. Beides
+/// verwechselt zu haben hieße, dass das Dashboard-Fenster in der Taskleiste als „Dashboard"
+/// erscheint statt als IBKRTrader – und genau die Unterscheidbarkeit mehrerer gleichzeitig
+/// laufender Anwendungen ist der Zweck.</para>
+///
+/// <para><b>Warum PNG und nicht die .ico:</b> <c>icon.ico</c> ist die Vorlage für die
+/// Windows-Programmdatei (<c>ApplicationIcon</c> in der .csproj) – dort ist das Format Pflicht.
+/// Für <see cref="Window.Icon"/> wird die verlustfrei daraus entnommene <c>icon.png</c> benutzt:
+/// Der X11-Rücken von Avalonia dekodiert über Skia, und Skia kennt ICO nicht. Unter Windows fiele
+/// das nie auf, auf dem Linux-Server bliebe das Fenster ohne Symbol – also genau dort, wo es
+/// gebraucht wird.</para>
+/// </summary>
+public static class AppIcon
+{
+    private const string AssetUri = "avares://IBKRTrader.App/Assets/icon.png";
+
+    private static readonly Lazy<WindowIcon?> Loaded = new(() =>
+    {
+        try
+        {
+            using var stream = AssetLoader.Open(new Uri(AssetUri));
+            return new WindowIcon(new Bitmap(stream));
+        }
+        catch
+        {
+            // Ein fehlendes Symbol darf die Oberfläche nie aufhalten – dann eben ohne.
+            // Sichtbar wird der Fehlschlag über --smoke-ui, nicht über einen Absturz im Betrieb.
+            return null;
+        }
+    });
+
+    /// <summary>Das geladene Symbol, oder <c>null</c>, wenn die Ressource fehlt oder nicht lesbar ist.</summary>
+    public static WindowIcon? Value => Loaded.Value;
+
+    /// <summary>Setzt das Anwendungssymbol auf ein Fenster. Ohne Wirkung, wenn die Ressource fehlt.</summary>
+    public static void Apply(Window window)
+    {
+        var icon = Value;
+        if (icon is not null) window.Icon = icon;
+    }
+}

src/IBKRTrader.App/Shell/AvaloniaUiHost.cs

@@ -33,7 +33,11 @@ public sealed class AvaloniaUiHost : IModuleUiHost
     public void RegisterView(ModuleView view) => _views.Add(view);
 
     /// <summary>Setzt das Hauptfenster (Launcher) – Ziel für <see cref="ActivateMain"/>.</summary>
-    public void SetMainWindow(Window main) => _mainWindow = main;
+    public void SetMainWindow(Window main)
+    {
+        AppIcon.Apply(main);
+        _mainWindow = main;
+    }
 
     public bool IsOpen(string viewId) => _open.ContainsKey(viewId);
 
@@ -64,6 +68,9 @@ public sealed class AvaloniaUiHost : IModuleUiHost
         var window = (Window)view.CreateView();
         if (string.IsNullOrEmpty(window.Title)) window.Title = view.Title;
         window.WindowStartupLocation = WindowStartupLocation.CenterScreen;
+        // Zentral statt je Fenster im .axaml: so trägt auch das Fenster eines künftigen Moduls
+        // das Anwendungssymbol, ohne dass jemand daran denken muss.
+        AppIcon.Apply(window);
 
         _open[view.Id] = window;
         window.Closed += (_, _) =>
@@ -94,7 +101,10 @@ public sealed class AvaloniaUiHost : IModuleUiHost
             var owner = _mainWindow;
             if (owner is null) return;
 
-            var confirmed = await new ShutdownConfirmWindow().ShowDialog<bool>(owner);
+            var dialog = new ShutdownConfirmWindow();
+            AppIcon.Apply(dialog);
+
+            var confirmed = await dialog.ShowDialog<bool>(owner);
             if (!confirmed) return;
 
             ShutdownConfirmed = true;

src/IBKRTrader.App/Shell/SmokeUi.cs

@@ -1,3 +1,4 @@
+using Avalonia.Controls;
 using IBKRTrader.App.ViewModels;
 using IBKRTrader.App.Views;
 using IBKRTrader.Core.Modularity;
@@ -49,6 +50,7 @@ public static class SmokeUi
         // fehlerfrei konstruieren und trotzdem leer sein, wenn die Attribute verlorengehen –
         // deshalb hier gegen die tatsächliche Feldzahl prüfen.
         failures += CheckSettingsForm(host.Services.GetRequiredService<SettingsService>());
+        failures += CheckAppIcon();
 
         Console.WriteLine(failures == 0 ? "=== Smoke-UI OK ===" : $"=== Smoke-UI: {failures} Fehler ===");
         return failures == 0 ? 0 : 1;
@@ -69,6 +71,45 @@ public static class SmokeUi
         }
     }
 
+    /// <summary>
+    /// Prüft das Anwendungssymbol. <see cref="AppIcon"/> schluckt einen Fehlschlag absichtlich –
+    /// ein fehlendes Symbol darf den Betrieb nicht aufhalten. Dann muss er aber <b>hier</b>
+    /// auffallen, sonst startet die Shell monatelang ohne Symbol und niemand merkt es. Genau
+    /// dieser Fall ist der Anlass: auf dem Server waren die Anwendungen nicht zu unterscheiden.
+    ///
+    /// <para>Geprüft wird gegen ein echtes Fenster statt nur gegen die Ressource: Dass das Bild
+    /// dekodierbar ist, sagt noch nicht, dass es am Fenster ankommt.</para>
+    /// </summary>
+    private static int CheckAppIcon()
+    {
+        try
+        {
+            if (AppIcon.Value is null)
+            {
+                Console.WriteLine("[FEHLER] Anwendungssymbol: Assets/icon.png nicht ladbar " +
+                                  "(AvaloniaResource in der .csproj verloren, oder die PNG ist beschädigt).");
+                return 1;
+            }
+
+            var probe = new Window();
+            AppIcon.Apply(probe);
+
+            if (probe.Icon is null)
+            {
+                Console.WriteLine("[FEHLER] Anwendungssymbol: geladen, kommt aber nicht am Fenster an.");
+                return 1;
+            }
+
+            Console.WriteLine("[OK] Anwendungssymbol (Assets/icon.png)");
+            return 0;
+        }
+        catch (Exception ex)
+        {
+            Console.WriteLine($"[FEHLER] Anwendungssymbol: {ex.GetType().Name}: {ex.Message}");
+            return 1;
+        }
+    }
+
     private static int CheckSettingsForm(SettingsService settings)
     {
         try

src/IBKRTrader.App/ViewModels/SettingsModel.cs

@@ -73,7 +73,7 @@ public static class SettingsModelBuilder
 
             // Verschachteltes Einstellungsobjekt → eigener Abschnitt. Nur eigene Typen verfolgen,
             // damit die Rekursion nicht in Framework-Typen abbiegt.
-            if (prop.PropertyType.IsClass && prop.PropertyType.Namespace?.StartsWith("IBKRTrader") == true)
+            if (prop.PropertyType.IsClass && prop.PropertyType.Namespace?.StartsWith("IBKRTrader", StringComparison.Ordinal) == true)
             {
                 var child = prop.GetValue(owner);
                 if (child is not null)

src/IBKRTrader.App/Views/DashboardWindow.axaml.cs

@@ -1,3 +1,4 @@
+using System.Globalization;
 using Avalonia.Controls;
 using Avalonia.Markup.Xaml;
 using Avalonia.Media;
@@ -63,10 +64,10 @@ public partial class DashboardWindow : Window
         {
             var snap = await _dashboard.GetSnapshotAsync();
             ShowKpis(
-                ("Offene Positionen", snap.OpenPositions.ToString()),
-                ("Exposure",          snap.TotalExposure.ToString("N2")),
-                ("Trades gesamt",     snap.TotalTrades.ToString()),
-                ("Worker / Services", _workerCount.ToString()));
+                ("Offene Positionen", snap.OpenPositions.ToString(CultureInfo.InvariantCulture)),
+                ("Exposure",          snap.TotalExposure.ToString("N2", CultureInfo.InvariantCulture)),
+                ("Trades gesamt",     snap.TotalTrades.ToString(CultureInfo.InvariantCulture)),
+                ("Worker / Services", _workerCount.ToString(CultureInfo.InvariantCulture)));
             status.Text = $"Aktualisiert: {AppTimeZone.Now:HH:mm:ss}";
         }
         catch (Exception ex)
@@ -75,7 +76,7 @@ public partial class DashboardWindow : Window
                 ("Offene Positionen", "n/v"),
                 ("Exposure",          "n/v"),
                 ("Trades gesamt",     "n/v"),
-                ("Worker / Services", _workerCount.ToString()));
+                ("Worker / Services", _workerCount.ToString(CultureInfo.InvariantCulture)));
             status.Text = $"DB nicht erreichbar: {ex.Message}";
         }
     }

src/IBKRTrader.App/Views/Modules/CongressTradingWindow.axaml.cs

@@ -1,3 +1,4 @@
+using System.Globalization;
 using Avalonia.Controls;
 using Avalonia.Markup.Xaml;
 using IBKRTrader.App.Shell;
@@ -56,8 +57,8 @@ public partial class CongressTradingWindow : Window
             var trades  = await _repo.GetTradeCountAsync();
             var members = await _repo.GetMemberCountAsync();
 
-            ShowKpis(("Trades in DB", trades.ToString("N0")),
-                     ("Mitglieder in DB", members.ToString("N0")));
+            ShowKpis(("Trades in DB", trades.ToString("N0", CultureInfo.InvariantCulture)),
+                     ("Mitglieder in DB", members.ToString("N0", CultureInfo.InvariantCulture)));
 
             var positions = await _portfolio.GetPositionsAsync(CongressTradingModule.LogTag);
             this.FindControl<DataGrid>("PositionsGrid")!.ItemsSource = positions