fix(main): R9 — guard the yt-dlp update throttle against a backward clock

shouldAutoCheckYtdlp compared (now - lastCheck) >= interval; a backward system-
clock correction leaves lastCheck in the future so the difference is negative and
the daily check never comes due again. Treat a future lastCheck as skewed and run
the check. The renderer scheduled-item promoter is inherently fire-once (promotion
flips the item out of 'saved'), so it can't double-fire on a backward jump — a
forward jump firing early is documented and accepted as minor.

Unit-tested. typecheck + 263 tests + eslint + prettier green.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
This commit is contained in:
2026-07-01 09:19:00 -04:00
parent 701c73a889
commit 81dd0ce742
4 changed files with 22 additions and 1 deletions
+6 -1
View File
@@ -1595,8 +1595,13 @@ cosmetics. `R` IDs.
should never fire in practice. (refusing/at-rest enforcement remains an option if ever wanted.)*
- [x] **R8 — Pretty-printed JSON for large stores.** `JSON.stringify(value, null, 2)` inflates size/write
time for the potentially-20k-item media store (ties R3). **Fix:** compact JSON for the large stores.
- [ ] **R9 — Clock-skew sensitivity.** `shouldAutoCheckYtdlp` and the scheduled-download promoter compare
- [x] **R9 — Clock-skew sensitivity.** `shouldAutoCheckYtdlp` and the scheduled-download promoter compare
`Date.now()`; a backward system-clock correction can skip or double-fire a check/schedule. Minor; note for awareness.
*Fixed the concrete case: `shouldAutoCheckYtdlp` now treats a `lastCheck` in the future (clock ran
backward → negative interval) as due, so the daily update check can't be skipped forever (unit-tested).
The scheduled-download promoter is inherently fire-once — each promotion flips the item out of `saved`,
so a backward jump only delays it and can't double-fire; a forward jump firing early is documented and
accepted as minor (a monotonic scheduler would be overkill for a park-until-time feature).*
---
+5
View File
@@ -21,5 +21,10 @@ export function shouldAutoCheckYtdlp(
): boolean {
if (!enabled) return false
if (!lastCheck) return true
// A backward system-clock correction can leave `lastCheck` in the "future"
// relative to `now`, making `now - lastCheck` negative so the daily check would
// never come due again. Treat a future timestamp as skewed/bogus and run the
// check rather than waiting out a negative interval (R9).
if (lastCheck > now) return true
return now - lastCheck >= intervalMs
}
+4
View File
@@ -272,6 +272,10 @@ export const useDownloads = create<DownloadState>((set, get) => {
},
promoteDueScheduled: () => {
// Wall-clock comparison: each scheduled item fires once (the promotion flips it
// out of 'saved'), so a backward clock jump only delays it and can't double-fire;
// a forward jump can fire it early. Accepted as minor per R9 — a monotonic
// scheduler would be overkill for a park-until-time feature.
const now = Date.now()
set((s) => ({
items: s.items.map((i) =>
+7
View File
@@ -31,4 +31,11 @@ describe('shouldAutoCheckYtdlp', () => {
expect(shouldAutoCheckYtdlp(true, NOW - 30 * 60_000, NOW, hour)).toBe(false)
expect(shouldAutoCheckYtdlp(true, NOW - hour, NOW, hour)).toBe(true)
})
it('checks when the clock ran backward (lastCheck is in the future, R9)', () => {
// A backward clock correction leaves lastCheck > now → (now - lastCheck) is
// negative; without the guard the check would be skipped forever.
expect(shouldAutoCheckYtdlp(true, NOW + AUTO_UPDATE_INTERVAL_MS, NOW)).toBe(true)
expect(shouldAutoCheckYtdlp(true, NOW + 1, NOW)).toBe(true)
})
})