P1: unify operator workflow and semantic presentation authorities

FaultRecordWindow.HeaderSelection.cs

@@ -10,9 +10,8 @@ namespace ArIED61850Tester;
 
 /// <summary>
 /// Adds a tri-state select-all checkbox to the fault-record Get column. A record with relay
-/// files is selectable whether it is a first download or an intentional re-download. Native
-/// first-download rows use FaultRecordRow.IsSelected; Downloaded rows use the staged-overwrite
-/// selection set owned by RedownloadUx.
+/// files is selectable whether it is a first download or an intentional re-download.
+/// FaultRecordRow.IsSelected is the single transfer-selection authority for every row.
 /// </summary>
 public partial class FaultRecordWindow
 {
@@ -105,33 +104,7 @@ private void FaultRecordHeaderSelectionCheckBox_Click(object sender, RoutedEvent
         try
         {
             foreach (var row in Records)
-            {
-                if (!HasTransferableFiles(row))
-                {
-                    row.IsSelected = false;
-                    _redownloadSelections.Remove(row.Record.RecordId);
-                    continue;
-                }
-
-                if (!target)
-                {
-                    row.IsSelected = false;
-                    _redownloadSelections.Remove(row.Record.RecordId);
-                    continue;
-                }
-
-                if (row.LocalState == FaultRecordLocalState.Downloaded)
-                {
-                    row.IsSelected = false;
-                    _redownloadSelections.Add(row.Record.RecordId);
-                    ConfigureRecordRow(row);
-                }
-                else
-                {
-                    _redownloadSelections.Remove(row.Record.RecordId);
-                    row.IsSelected = row.CanSelectForDownload;
-                }
-            }
+                row.IsSelected = target && row.CanSelectForDownload;
         }
         finally
         {
@@ -140,6 +113,7 @@ private void FaultRecordHeaderSelectionCheckBox_Click(object sender, RoutedEvent
 
         RaiseSelectionState();
         UpdateSmartSelectionUi();
+        ConfigureVisibleRecordRows();
         RefreshFaultRecordHeaderSelection();
     }
 
@@ -184,33 +158,25 @@ private void RefreshFaultRecordHeaderSelection()
         if (header == null)
             return;
 
-        var eligibleCount = Records.Count(HasTransferableFiles);
+        var eligibleCount = Records.Count(row => row.CanSelectForDownload);
         header.IsEnabled = !IsBusy && eligibleCount > 0;
         header.IsChecked = GetFaultRecordHeaderSelectionState();
     }
 
     private bool? GetFaultRecordHeaderSelectionState()
     {
-        var eligible = Records.Where(HasTransferableFiles).ToArray();
+        var eligible = Records.Where(row => row.CanSelectForDownload).ToArray();
         if (eligible.Length == 0)
             return false;
 
-        var selected = eligible.Count(IsSelectedForTransfer);
+        var selected = eligible.Count(row => row.IsSelected);
         if (selected == 0)
             return false;
         if (selected == eligible.Length)
             return true;
         return null;
     }
 
-    private static bool HasTransferableFiles(FaultRecordRow row)
-        => row.Record.Files.Count > 0;
-
-    private bool IsSelectedForTransfer(FaultRecordRow row)
-        => row.LocalState == FaultRecordLocalState.Downloaded
-            ? _redownloadSelections.Contains(row.Record.RecordId)
-            : row.IsSelected;
-
     private void FaultRecordHeaderSelectionWindow_Closed(object? sender, EventArgs e)
     {
         PropertyChanged -= FaultRecordHeaderSelectionWindow_PropertyChanged;

FaultRecordWindow.RedownloadSelectionAuthority.cs

@@ -9,10 +9,9 @@ namespace ArIED61850Tester;
 
 /// <summary>
 /// One pointer-selection authority for the fault-record grid. Clicking either the SELECT
-/// checkbox or anywhere on a transferable record row toggles the same selection exactly once.
-/// Downloaded records use the staged-overwrite selection set; first-time records keep the
-/// existing model IsSelected flag. Visual checkbox state is committed after the input event so
-/// WPF's native CheckBox mouse-state transition cannot repaint over the operator's tick.
+/// checkbox or anywhere on a transferable record row toggles FaultRecordRow.IsSelected exactly
+/// once. Local Downloaded state never owns a second selection set; it only changes transfer
+/// semantics from first download to staged atomic replacement.
 /// </summary>
 public partial class FaultRecordWindow
 {
@@ -34,28 +33,17 @@ private static void RedownloadSelectionAuthority_Down(object sender, MouseButton
             window.IsBusy ||
             e.ChangedButton != MouseButton.Left ||
             !TryResolveTransferRow(e.OriginalSource as DependencyObject, out var row) ||
-            row.Record.Files.Count == 0)
+            !row.CanSelectForDownload)
         {
             return;
         }
 
-        if (row.LocalState == FaultRecordLocalState.Downloaded)
-        {
-            var recordId = row.Record.RecordId;
-            if (!window._redownloadSelections.Add(recordId))
-                window._redownloadSelections.Remove(recordId);
-        }
-        else
-        {
-            if (!row.CanSelectForDownload)
-                return;
-            row.IsSelected = !row.IsSelected;
-        }
+        row.IsSelected = !row.IsSelected;
 
         // Suppress the native checkbox/DataGrid toggle so one pointer action means exactly
         // one selection change. Repaint after input processing; doing this synchronously in
         // PreviewMouseDown lets the CheckBox template's pressed-state transition erase the
-        // visible tick even though the selection count already changed.
+        // visible tick even though the model already changed.
         e.Handled = true;
         window.Dispatcher.BeginInvoke(
             DispatcherPriority.Input,