austinried 7ac79288b3 download a song to the device and play it from there ...

First block of #65: the state machine, the platform download engine, a
single-song download from the song context menu, the downloaded indicator in
song lists, and local-first playback.

- `song_downloads`, keyed `(sourceId, songId)` with CASCADE on the source, and
  the 16 -> 17 migration.
- `DownloadEngine` over `android.app.DownloadManager`, with a fake for tests.
  Files land in app-specific external storage at
  `.../Music/downloads/<sourceId>/<songId>`, plus a `.nomedia` so media scanners
  on pre-Android-10 devices leave them alone.
- `DownloadRepository` enqueues, mirrors progress by polling, cancels, deletes
  and reconciles on start and on source change: a queued row whose engine entry
  is gone is started again, a completed row whose file is gone becomes failed
  rather than being resurrected, and files with no row are swept.
- Playback prefers the downloaded file: the media item build takes the local URI
  when the download is complete and leaves it unclipped.
- Deleting a download reloads the player window at its position, so the item
  falls back to streaming instead of failing mid-read.
- Deleting a source cancels its downloads and removes their files.

Downloads are the system's own notifications and stay off metered networks for
now. Artwork, bulk downloads and the management screen are later blocks.

2026-10-04 00:30:01 +00:00

..

1.json

add media3, the playback session and the sql-backed queue

2026-10-04 00:29:51 +00:00

2.json

add preferences, paging reads, repositories and sync status

2026-10-04 00:29:51 +00:00

3.json

add media3, the playback session and the sql-backed queue

2026-10-04 00:29:51 +00:00

4.json

drop the artwork seed expiry

2026-10-04 00:29:53 +00:00

5.json

store playlist duration from the server

2026-10-04 00:29:53 +00:00

6.json

store the shuffle order in a table with a cache; keep previous at the start unless repeating

2026-10-04 00:29:55 +00:00

7.json

persist and restore the playback position within the track

2026-10-04 00:29:55 +00:00

8.json

rework the library lists: inline filter, playlist updated, starred sort, clearer controls

2026-10-04 00:29:55 +00:00

9.json

song added sort, robust scroll reset, restyled search and filter controls

2026-10-04 00:29:55 +00:00

10.json

drop the unused FTS5 search index

2026-10-04 00:29:56 +00:00

11.json

show album disc titles instead of generic disc numbers

2026-10-04 00:29:57 +00:00

12.json

compute and persist the artist name busy flag with the artwork seed

2026-10-04 00:29:58 +00:00

13.json

store artwork seeds without read-time writes and prune periodically

2026-10-04 00:29:58 +00:00

14.json

rebase onto main: move the rank-column drop to 13 to 14 and drop the rank fixture

2026-10-04 00:29:59 +00:00

15.json

index the album, artist and playlist list sorts

2026-10-04 00:29:59 +00:00

16.json

add a separate, editable up-next queue (#61)

2026-10-04 00:30:00 +00:00

17.json

download a song to the device and play it from there

2026-10-04 00:30:01 +00:00