refactor(library): listed_user_game view and one shared schema (V24)

readme.md

@@ -52,7 +52,8 @@ To Be Played is split into three repositories:
   40-hour weeks, oldest unplayed game); most played and most loyal game (most months with playtime); top IGDB genres
   and moods; moon trips (Apollo 11, 195.3 h), longest day, share under one hour; finished games per year (from the
   status history); the Pile of Shame trend (90 days of `backlog_snapshot`, plus "this month: added / done", where the
-  first sync of a Steam account is no "added", see `user_steam_sync.history_since`). Every number counts only listed games.
+  first sync of a Steam account is no "added", see `user_steam_sync.history_since`). Every number counts only listed games (still owned, not hidden: the view
+  `listed_user_game`, V24).
 - **Status history**: a database trigger logs every status change of a library game in `user_game_status_change`
   (old and new status, time, whether the user chose it), whatever code path made it. It starts with V14; older
   changes are not known.
@@ -172,9 +173,9 @@ flowchart LR
     Igdb -->|"OAuth token"| Twitch["Twitch"]
     Speedrun --> SpeedrunApi["speedrun.com API"]
     LibRepo --> Db[("PostgreSQL tbp_core")]
-    Stats --> Db
+    Stats -->|"listed_user_game, deleted_user"| Db
     Auth -->|"service token<br/>/internal/accounts"| Account
-    Account --> Db
+    Account -->|"per-user rows, deleted_user"| Db
 ```
 
 | Module | Content |
@@ -187,6 +188,13 @@ flowchart LR
 | `igdb_adapter` | IGDB client (Twitch OAuth): time to beat, game tags for moods, release years, game search |
 | `speedrun_adapter` | speedrun.com client: game search by name, verified runs |
 
+**One shared schema.** All modules use one database `tbp_core`, and some read or write another module's tables in
+SQL, which ArchUnit cannot see: `stats` reads `listed_user_game`, `steam_game` and `deleted_user`; `account` deletes
+the per-user rows of the library tables (`AccountCleanupRepository`; a new library table with `user_id` goes into
+its list); `library` reads `deleted_user`. A module that moves to its own service takes these reads along as calls.
+The listed rule ("still owned, not hidden") is `UserGameRepository.LISTED` for JPQL and the view
+`listed_user_game` for native SQL; V24 says what a migration of `user_game` must do with the view.
+
 Inside a module: `api` (controllers, DTOs), `service` (business logic), `domain` (JPA entities) and `repo`
 (repositories). `src/test/java/core_service/architecture/ArchitectureTest.java` checks these rules on every build: