Rename the installed Android package to ca.wallacenet.prolibertategames

Follows the Gitea repo rename: the applicationId (and its .dev variant)
now matches the repo, the launcher name and the docs, instead of carrying
the abandoned Pilgrims of Katan identity.

The JVM namespace stays org.prolibertate.games, so no source file moves;
only the installed identity changes.

Co-Authored-By: Paperclip <[email protected]>

CLAUDE.md

@@ -15,7 +15,7 @@ board games, playable against AI or over Wi-Fi (LAN). Upstream:
   branding is the upstream's, restored (see README → Branding): tartan launcher
   icon and splash, Wallace clan red on production and hunting green on dev,
   launcher names *Pro Libertate Games* / *Pro Libertate Games DEV*. The
-  installed identity is `ca.wallacenet.pilgrimsofkatan` (+ `.dev`).
+  installed identity is `ca.wallacenet.prolibertategames` (+ `.dev`).
 - **The existing catalogue is the regression safety net.** Keep every game
   green; new games (Katan) arrive as separate tasks, not edits to old ones.
   The 22 reference games are `available = true`; Katan is listed with

README.md

@@ -190,10 +190,10 @@ smaller than a fingertip.
 Requires JDK 17 and the Android SDK (compileSdk 34).
 
 A local build is a dev build: it installs as
-`ca.wallacenet.pilgrimsofkatan.dev` under the name *Pro Libertate Games DEV* on
+`ca.wallacenet.prolibertategames.dev` under the name *Pro Libertate Games DEV* on
 the hunting-green sett, so it goes on beside a production copy rather than over
 it. Set `PLG_CHANNEL=production` to build the production package
-(`ca.wallacenet.pilgrimsofkatan`, clan red).
+(`ca.wallacenet.prolibertategames`, clan red).
 
 ## CI
 
@@ -265,7 +265,7 @@ unit-tested on the JVM like the rules engines are.
 ### Both channels on one device
 
 A dev build installs under its own `applicationId`,
-`ca.wallacenet.pilgrimsofkatan.dev`, so it is a separate app as far as Android
+`ca.wallacenet.prolibertategames.dev`, so it is a separate app as far as Android
 is concerned and can sit beside the production copy rather than replacing it. Each channel still updates itself
 normally, because an update within a channel keeps the same package.
 
@@ -273,7 +273,7 @@ Three things move together, all off `isDevBuild` in `app/build.gradle.kts`:
 
 | | Production | Dev |
 | --- | --- | --- |
-| `applicationId` | `ca.wallacenet.pilgrimsofkatan` | `ca.wallacenet.pilgrimsofkatan.dev` |
+| `applicationId` | `ca.wallacenet.prolibertategames` | `ca.wallacenet.prolibertategames.dev` |
 | Launcher name | Pro Libertate Games | Pro Libertate Games DEV |
 | Tartan sett | clan red | hunting green |
 

app/build.gradle.kts

@@ -58,7 +58,7 @@ android {
         // A dev build installs under its own package, so a dev copy and a
         // production copy can sit side by side on one device instead of one
         // replacing the other.
-        applicationId = if (isDevBuild) "ca.wallacenet.pilgrimsofkatan.dev" else "ca.wallacenet.pilgrimsofkatan"
+        applicationId = if (isDevBuild) "ca.wallacenet.prolibertategames.dev" else "ca.wallacenet.prolibertategames"
         minSdk = 24
         targetSdk = 34
         // The -dev suffix in versionName is what the installed app reads to

app/src/main/java/org/prolibertate/games/update/UpdatePolicy.kt

@@ -12,7 +12,7 @@ import java.net.URI
  * meaning to be had from comparing across them, so nothing does.
  *
  * They also carry different applicationIds — a dev build installs as
- * `…pilgrimsofkatan.dev` — so both can sit on one device, each updating
+ * `…prolibertategames.dev` — so both can sit on one device, each updating
  * itself down its own line and leaving the other alone.
  */
 enum class UpdateChannel(val label: String, val blurb: String) {

docs/CI.md

@@ -80,8 +80,8 @@ release — the honest answer for a build nobody stamped.
 export JAVA_HOME=...        # a JDK 17 install
 export ANDROID_HOME=...     # SDK root (or set sdk.dir in local.properties)
 
-./gradlew assembleDebug          # dev-channel app (default: ca.wallacenet.pilgrimsofkatan.dev)
+./gradlew assembleDebug          # dev-channel app (default: ca.wallacenet.prolibertategames.dev)
-PLG_CHANNEL=production ./gradlew assembleDebug   # production app (ca.wallacenet.pilgrimsofkatan)
+PLG_CHANNEL=production ./gradlew assembleDebug   # production app (ca.wallacenet.prolibertategames)
 ./gradlew testDebugUnitTest      # JVM unit tests
 ./gradlew lintDebug              # Android lint (CI runs this too)
 ```