Sleep: only say a night's recordings were removed when they were

lib/data/db.dart

@@ -4546,6 +4546,20 @@ class LocalDb {
     return v == null ? null : int.tryParse(v);
   }
 
+  /// Whether the raw prune has already deleted [day]'s decoded recordings:
+  /// the whole day lies before the [kDecodedPrunedBeforeCursor] cut, which the
+  /// prune only ever sets at a local midnight (a day straddling it is not). False when nothing has been
+  /// pruned yet, so "no recordings" on a fresh install or an unworn night is
+  /// not mistaken for "deleted", and false for a day that was imported.
+  static Future<bool> decodedPrunedFor(String day) async {
+    final cut = await getCursorInt(kDecodedPrunedBeforeCursor);
+    final end = localDayEndSec(day);
+    if (cut == null || end == null || end > cut) return false;
+    // An imported day sits before the cut without ever having had recordings
+    // here, so there was nothing for the prune to remove.
+    return !(await importedDates()).contains(day);
+  }
+
   /// The primary device's durable record frontier (`rec_ts_hw`), or null when
   /// no record has been banked. Builds before the commit guard could persist
   /// '0' from a record-less commit, so a non-positive value reads as unset.

lib/l10n/app_de.arb

@@ -1734,6 +1734,7 @@
   "sleepDetailWindowNoSleep": "Deine Zeiten sind gespeichert, aber die Aufzeichnungen des Bands aus diesen Stunden zeigen keinen Schlaf zum Auswerten.",
   "sleepDetailNightUnrecorded": "Deine Herzfrequenz deutet auf eine Nacht Schlaf hin, aber das Band hat dabei größtenteils zu wenige Bewegungsdaten aufgezeichnet, daher gibt es keine Nacht zum Auswerten.",
   "sleepDetailCorrectionUnavailable": "Die detaillierten Aufzeichnungen dieser Nacht sind nicht mehr auf dem Telefon, daher lässt sich ihr Schlaf nicht mehr korrigieren.",
+  "sleepDetailCorrectionNoRecordings": "Für diese Nacht liegen keine detaillierten Aufzeichnungen auf dem Telefon, daher kann ihr Schlaf nicht korrigiert werden.",
   "sleepDetailCorrectionEveningPruned": "Der Abend vor dieser Nacht ist nicht mehr auf dem Telefon, daher lassen sich nur eine Schlafenszeit nach Mitternacht oder „Kein Schlaf“ übernehmen.",
   "sleepDetailNoHypnogramTitle": "Kein Hypnogramm für diese Nacht",
   "sleepDetailNoHypnogramBody": "Für die Berechnung der Schlafphasen werden Bewegungsdaten und Herzschlag-Abstände benötigt. Mindestens eine dieser Datenquellen fehlt.",

lib/l10n/app_en.arb

@@ -8570,6 +8570,10 @@
     "description": "Shown after the user set their own sleep window and the band recorded it, but staging found no sleep in it."
   },
   "sleepDetailCorrectionUnavailable": "This night’s detailed recordings are no longer on the phone, so its sleep can’t be corrected now.",
+  "sleepDetailCorrectionNoRecordings": "This night has no detailed recordings on the phone, so its sleep can’t be corrected.",
+  "@sleepDetailCorrectionNoRecordings": {
+    "description": "Shown instead of the sleep correction buttons on a night with no detailed recordings on the phone that were never pruned (imported or never worn)."
+  },
   "sleepDetailCorrectionEveningPruned": "The evening before this night is no longer on the phone, so only a bedtime after midnight, or Not sleep, can be applied.",
   "@sleepDetailCorrectionEveningPruned": {
     "description": "Shown on the oldest night still kept, or after a correction there was refused: the evening part of the night has been pruned, so a bedtime before midnight, confirming the detected times, or reverting to automatic cannot be applied."

lib/l10n/app_es.arb

@@ -1681,6 +1681,7 @@
   "sleepDetailWindowNoSleep": "Tus horas están guardadas, pero los registros de la pulsera de esas horas no muestran sueño que puntuar.",
   "sleepDetailNightUnrecorded": "Tu frecuencia cardíaca indica una noche de sueño, pero la pulsera registró muy pocos datos de movimiento durante la mayor parte, así que no hay noche que puntuar.",
   "sleepDetailCorrectionUnavailable": "Los registros detallados de esta noche ya no están en el teléfono, así que su sueño ya no se puede corregir.",
+  "sleepDetailCorrectionNoRecordings": "Esta noche no tiene registros detallados en el teléfono, así que su sueño no se puede corregir.",
   "sleepDetailCorrectionEveningPruned": "La tarde anterior a esta noche ya no está en el teléfono, así que solo se puede aplicar una hora de acostarse después de medianoche o «No es sueño».",
   "sleepDetailNoHypnogramTitle": "No hay hipnograma para esta noche",
   "sleepDetailNoHypnogramBody": "El cálculo de fases necesita movimiento y ritmo cardíaco. Faltaba uno de los dos.",

lib/l10n/app_fr.arb

@@ -1671,6 +1671,7 @@
   "sleepDetailWindowNoSleep": "Vos horaires sont enregistrés, mais les enregistrements du bracelet pour ces heures ne montrent aucun sommeil à évaluer.",
   "sleepDetailNightUnrecorded": "Votre fréquence cardiaque indique une nuit de sommeil, mais le bracelet a enregistré trop peu de données de mouvement pendant la majeure partie : il n'y a donc pas de nuit à évaluer.",
   "sleepDetailCorrectionUnavailable": "Les enregistrements détaillés de cette nuit ne sont plus sur le téléphone, son sommeil ne peut donc plus être corrigé.",
+  "sleepDetailCorrectionNoRecordings": "Cette nuit n’a pas d’enregistrements détaillés sur le téléphone, son sommeil ne peut donc pas être corrigé.",
   "sleepDetailCorrectionEveningPruned": "La soirée précédant cette nuit n’est plus sur le téléphone : on peut seulement indiquer une heure de coucher après minuit, ou marquer la nuit comme n’étant pas du sommeil.",
   "sleepDetailNoHypnogramTitle": "Aucun hypnogramme pour cette nuit",
   "sleepDetailNoHypnogramBody": "L'analyse des phases nécessite le mouvement et le rythme cardiaque. L'un des deux manquait.",

lib/l10n/app_hi.arb

@@ -1671,6 +1671,7 @@
   "sleepDetailWindowNoSleep": "आपके समय सेव हैं, लेकिन उन घंटों की बैंड रिकॉर्डिंग में स्कोर करने लायक कोई नींद नहीं दिखती।",
   "sleepDetailNightUnrecorded": "आपकी हृदय गति रात की नींद दिखाती है, लेकिन ज़्यादातर समय बैंड ने बहुत कम मूवमेंट डेटा रिकॉर्ड किया, इसलिए स्कोर करने के लिए कोई रात नहीं है।",
   "sleepDetailCorrectionUnavailable": "इस रात की विस्तृत रिकॉर्डिंग अब फ़ोन पर नहीं हैं, इसलिए इसकी नींद अब ठीक नहीं की जा सकती।",
+  "sleepDetailCorrectionNoRecordings": "इस रात की विस्तृत रिकॉर्डिंग फ़ोन पर नहीं हैं, इसलिए इसकी नींद को सुधारा नहीं जा सकता।",
   "sleepDetailCorrectionEveningPruned": "इस रात से पहले की शाम अब फ़ोन पर नहीं है, इसलिए केवल आधी रात के बाद का सोने का समय दिया जा सकता है, या इस रात को नींद नहीं के रूप में चिह्नित किया जा सकता है।",
   "sleepDetailNoHypnogramTitle": "इस रात के लिए कोई हिप्नोग्राम नहीं",
   "sleepDetailNoHypnogramBody": "चरण तय करने के लिए हलचल और हृदय-धड़कन की टाइमिंग चाहिए। इनमें से एक मौजूद नहीं था।",

lib/l10n/app_ru.arb

@@ -3940,6 +3940,7 @@
   "sleepDetailWindowNoSleep": "Время сохранено, но в записях браслета за эти часы нет сна, который можно оценить.",
   "sleepDetailNightUnrecorded": "Пульс указывает на ночной сон, но большую часть ночи браслет записал слишком мало данных о движении, поэтому оценивать нечего.",
   "sleepDetailCorrectionUnavailable": "Подробные записи этой ночи уже удалены с телефона, поэтому её сон больше нельзя исправить.",
+  "sleepDetailCorrectionNoRecordings": "Для этой ночи на телефоне нет подробных записей, поэтому её сон нельзя исправить.",
   "sleepDetailCorrectionEveningPruned": "Вечер перед этой ночью уже удалён с телефона, поэтому можно применить только время отхода ко сну после полуночи или «Не сон».",
   "sleepDetailNoHypnogramTitle": "За эту ночь гипнограммы нет",
   "sleepDetailNoHypnogramBody": "Для определения стадий нужны движение и межударные интервалы. Одного из источников не было.",

lib/l10n/app_th.arb

@@ -8558,6 +8558,7 @@
     "description": "Shown after the user set their own sleep window and the band recorded it, but staging found no sleep in it."
   },
   "sleepDetailCorrectionUnavailable": "ข้อมูลบันทึกรายละเอียดของคืนนี้ไม่ได้อยู่ในโทรศัพท์แล้ว จึงแก้ไขการนอนไม่ได้",
+  "sleepDetailCorrectionNoRecordings": "คืนนี้ไม่มีข้อมูลบันทึกรายละเอียดในโทรศัพท์ จึงแก้ไขการนอนของคืนนี้ไม่ได้",
   "sleepDetailCorrectionEveningPruned": "ข้อมูลช่วงเย็นก่อนคืนนี้ไม่ได้อยู่ในโทรศัพท์แล้ว จึงใช้ได้เฉพาะเวลาเข้านอนหลังเที่ยงคืน หรือ “ไม่ใช่การนอน”",
   "@sleepDetailCorrectionEveningPruned": {
     "description": "Shown on the oldest night still kept, or after a correction there was refused: the evening part of the night has been pruned, so a bedtime before midnight, confirming the detected times, or reverting to automatic cannot be applied."

lib/l10n/app_zh.arb

@@ -1671,6 +1671,7 @@
   "sleepDetailWindowNoSleep": "你设置的时间已保存，但手环在这段时间的记录中没有可评分的睡眠。",
   "sleepDetailNightUnrecorded": "你的心率显示有一夜睡眠，但手环在大部分时间里记录的动作数据太少，所以没有可评分的夜晚。",
   "sleepDetailCorrectionUnavailable": "这一夜的详细记录已不在手机上，因此无法再更正这一夜的睡眠。",
+  "sleepDetailCorrectionNoRecordings": "这一夜手机上没有详细记录，因此无法修正其睡眠。",
   "sleepDetailCorrectionEveningPruned": "这一夜之前的傍晚记录已不在手机上，因此只能设置午夜之后的入睡时间，或将这一夜标记为不是睡眠。",
   "sleepDetailNoHypnogramTitle": "这一夜没有睡眠阶段图",
   "sleepDetailNoHypnogramBody": "阶段判定需要运动和心跳时序数据，其中有一项缺失。",

lib/state/app_state.dart

@@ -2764,6 +2764,11 @@ class AppState extends ChangeNotifier {
         sleepOnsetSec: onsetSec,
       );
 
+  /// Why [sleepCorrectable] can be false for a day with no substrate: its
+  /// recordings were pruned (true), or there never were any (false).
+  Future<bool> sleepRecordingsPruned(String date) =>
+      LocalDb.decodedPrunedFor(date);
+
   /// Refuses a correction [sleepCorrectable] rules out, before anything is
   /// written: the row would sit in sleep_override unapplied.
   Future<void> _requireSleepSubstrate(

lib/ui2/screens/sleep_detail.dart

@@ -527,6 +527,11 @@ class _SleepDetailState extends State<SleepDetail> with RevisionReload {
   /// Unknown counts as correctable, which is how the screen behaved before.
   bool _correctable = true;
 
+  /// Whether the day's recordings were actually pruned, as opposed to never
+  /// recorded (a fresh install, a night without the band). Only the first may
+  /// say "no longer on the phone"; both leave the day uncorrectable.
+  bool _recordingsPruned = false;
+
   /// Whether the night's whole derive window is still kept. False on the
   /// oldest kept day: the prune cut at its midnight took the evening half, so
   /// confirming the detected times or going back to automatic would be
@@ -605,10 +610,14 @@ class _SleepDetailState extends State<SleepDetail> with RevisionReload {
       var correctable = true;
       var wholeNightKept = true;
       var confirmable = true;
+      var recordingsPruned = false;
       if (app != null && d.day != null) {
         try {
           correctable =
               await app.sleepCorrectable(d.day!, sleepSource: 'rejected');
+          if (!correctable) {
+            recordingsPruned = await app.sleepRecordingsPruned(d.day!);
+          }
           wholeNightKept =
               correctable && await app.sleepCorrectable(d.day!);
           final onset = (d.night['onset_ts'] as num?)?.toInt();
@@ -617,7 +626,9 @@ class _SleepDetailState extends State<SleepDetail> with RevisionReload {
                   onset != null &&
                   await app.sleepCorrectable(d.day!,
                       sleepSource: 'confirmed', onsetSec: onset));
-        } catch (_) {}
+        } catch (e) {
+          debugPrint('sleep detail: correctability read failed: $e');
+        }
       }
       // LAST NIGHT ONLY. The card names the luteal phase, and `getCycle` knows
       // today's phase and no other day's — so a card offered while stepping
@@ -634,6 +645,7 @@ class _SleepDetailState extends State<SleepDetail> with RevisionReload {
               _lastGood = d,
               _rough = rough,
               _correctable = correctable,
+              _recordingsPruned = recordingsPruned,
               _wholeNightKept = wholeNightKept,
               _confirmable = confirmable,
               _loading = false,
@@ -738,8 +750,18 @@ class _SleepDetailState extends State<SleepDetail> with RevisionReload {
         // the write is refused (and said so) when it doesn't.
         if (rejectedDay != null &&
             (!_correctable || (rejected && !_wholeNightKept))) ...[
-          const SizedBox(height: S.x2),
-          _correctable ? _eveningPrunedNote(c, l) : _uncorrectableNote(c, l),
+          // Uncorrectable with nothing ever recorded (a fresh install, a
+          // night without the band) offers no button and says nothing more:
+          // the card above already says why there is no night. "No longer on
+          // the phone" is only true once the prune has actually run past it;
+          // a rejected night was recorded by definition.
+          if (_correctable) ...[
+            const SizedBox(height: S.x2),
+            _eveningPrunedNote(c, l),
+          ] else if (rejected || _recordingsPruned) ...[
+            const SizedBox(height: S.x2),
+            _uncorrectableNote(c, l),
+          ],
         ] else if (rejected) ...[
           const SizedBox(height: S.x2),
           TextButton(
@@ -1040,8 +1062,12 @@ class _SleepDetailState extends State<SleepDetail> with RevisionReload {
             ),
           ],
           const SizedBox(height: S.x2),
+          // No buttons when uncorrectable; the note says why: pruned
+          // recordings, or (imported, never worn) nothing to re-analyse.
           if (!_correctable)
-            _uncorrectableNote(c, l)
+            _recordingsPruned
+                ? _uncorrectableNote(c, l)
+                : _noRecordingsNote(c, l)
           else
           Wrap(spacing: S.x2, children: [
             if (fallback && _confirmable)
@@ -1098,6 +1124,14 @@ class _SleepDetailState extends State<SleepDetail> with RevisionReload {
         style: F.cap.copyWith(color: P.of(c).ink3),
       );
 
+  /// An uncorrectable night whose recordings were never here to prune.
+  Widget _noRecordingsNote(BuildContext c, AppLocalizations? l) => Text(
+        l?.sleepDetailCorrectionNoRecordings ??
+            'This night has no detailed recordings on the phone, so its sleep '
+                'can\u2019t be corrected.',
+        style: F.cap.copyWith(color: P.of(c).ink3),
+      );
+
   /// On the oldest kept night: says why only some corrections are offered.
   Widget _eveningPrunedNote(BuildContext c, AppLocalizations? l) => Text(
         l?.sleepDetailCorrectionEveningPruned ??

test/sleep_recordings_pruned_test.dart

@@ -0,0 +1,83 @@
+// The Sleep screen used to tell a fresh install, and any night the band was
+// never worn, that "this night's detailed recordings are no longer on the
+// phone". Both are uncorrectable because there is no substrate, but only a
+// day the raw prune has actually cut may say its recordings were removed.
+// `LocalDb.decodedPrunedFor` is that distinction.
+
+import 'package:flutter_test/flutter_test.dart';
+import 'package:path/path.dart' as p;
+import 'package:sqflite_common_ffi/sqflite_ffi.dart';
+
+import 'package:openstrap_edge/data/day_label.dart';
+import 'package:openstrap_edge/data/db.dart';
+
+void main() {
+  setUpAll(() async {
+    sqfliteFfiInit();
+    databaseFactory = databaseFactoryFfi;
+    LocalDb.dbName = 'openstrap_sleep_recordings_pruned_test.db';
+    await databaseFactory.deleteDatabase(
+      p.join(await databaseFactory.getDatabasesPath(), LocalDb.dbName),
+    );
+  });
+
+  tearDownAll(() async {
+    await LocalDb.close();
+    await databaseFactory.deleteDatabase(
+      p.join(await databaseFactory.getDatabasesPath(), LocalDb.dbName),
+    );
+  });
+
+  setUp(() async {
+    await (await LocalDb.instance)
+        .delete('sync_cursor', where: 'name = ?', whereArgs: [
+      LocalDb.kDecodedPrunedBeforeCursor,
+    ]);
+  });
+
+  test('nothing pruned yet (a fresh install): no day counts as pruned',
+      () async {
+    expect(await LocalDb.decodedPrunedFor(todayLabel()), isFalse);
+    expect(await LocalDb.decodedPrunedFor('2020-01-01'), isFalse);
+  });
+
+  test('days before the cut are pruned; the cut day and later are not',
+      () async {
+    // The prune only ever cuts at a local midnight.
+    await LocalDb.setCursor(LocalDb.kDecodedPrunedBeforeCursor,
+        '${localDayStartSec('2026-06-10')}');
+
+    expect(await LocalDb.decodedPrunedFor('2026-06-09'), isTrue);
+    expect(await LocalDb.decodedPrunedFor('2026-06-10'), isFalse);
+    expect(await LocalDb.decodedPrunedFor('2026-06-11'), isFalse);
+  });
+
+  test('an imported day before the cut never had recordings to prune',
+      () async {
+    await LocalDb.setCursor(LocalDb.kDecodedPrunedBeforeCursor,
+        '${localDayStartSec('2026-06-10')}');
+    final db = await LocalDb.instance;
+    await db.insert('metric_series_version',
+        {'date': '2026-06-08', 'algo_version': 1, 'source': 'whoop_csv'});
+    addTearDown(() => db.delete('metric_series_version'));
+
+    expect(await LocalDb.decodedPrunedFor('2026-06-08'), isFalse);
+    expect(await LocalDb.decodedPrunedFor('2026-06-09'), isTrue);
+  });
+
+  test('a malformed day label is never reported as pruned', () async {
+    await LocalDb.setCursor(LocalDb.kDecodedPrunedBeforeCursor,
+        '${localDayStartSec('2026-06-10')}');
+
+    expect(await LocalDb.decodedPrunedFor('not-a-day'), isFalse);
+  });
+
+  test('a day straddling the cut still has recordings, so is not pruned',
+      () async {
+    final mid = localDayStartSec('2026-06-09')! + 12 * 3600;
+    await LocalDb.setCursor(LocalDb.kDecodedPrunedBeforeCursor, '$mid');
+
+    expect(await LocalDb.decodedPrunedFor('2026-06-09'), isFalse);
+    expect(await LocalDb.decodedPrunedFor('2026-06-08'), isTrue);
+  });
+}