docs(izzyondroid): correct stale package id and version in inclusion request

App ID is cc.agentlabs.opencode (post-rename), not ai.opencode.mobile; bump the
example release to v0.4.2. Verified against the live v0.4.2 APK: package
cc.agentlabs.opencode, versionName 0.4.2, signing SHA-256 0C:25:..:99 matches the
documented fingerprint. Makes the IzzyOnDroid submission filing-ready.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

distribution/izzyondroid-submission/INCLUSION-REQUEST.md

@@ -10,7 +10,7 @@ Use the text below (starting from "---") as the issue body. Replace all
 ## App submission: OpenCode Mobile
 
 **App name:** OpenCode Mobile
-**Package / App ID:** `ai.opencode.mobile`
+**Package / App ID:** `cc.agentlabs.opencode`
 **License:** MIT
 **Source code:** https://github.com/dzianisv/opencode-mobile
 **GitHub releases:** https://github.com/dzianisv/opencode-mobile/releases
@@ -27,7 +27,7 @@ https://github.com/dzianisv/opencode-mobile/releases/download/<TAG>/app-release.
 
 Example (first production release):
 ```
-https://github.com/dzianisv/opencode-mobile/releases/download/v0.2.4/app-release.apk
+https://github.com/dzianisv/opencode-mobile/releases/download/v0.4.2/app-release.apk
 ```
 
 Note: IzzyOnDroid should use the GitHub releases tag pattern for auto-update

distribution/izzyondroid-submission/SUBMISSION-CHECKLIST.md

@@ -1,6 +1,6 @@
 # IzzyOnDroid Submission Checklist
 
-Step-by-step guide to file the inclusion request for `ai.opencode.mobile`
+Step-by-step guide to file the inclusion request for `cc.agentlabs.opencode`
 in the IzzyOnDroid F-Droid repository.
 
 IzzyOnDroid is the fastest OSS distribution channel — typical inclusion is
@@ -13,7 +13,7 @@ IzzyOnDroid is the fastest OSS distribution channel — typical inclusion is
 ## Prerequisites
 
 - [ ] Signed release APK (not AAB) exists and is attached to a GitHub tag
-      (e.g. `https://github.com/dzianisv/opencode-mobile/releases/tag/v0.2.4`)
+      (e.g. `https://github.com/dzianisv/opencode-mobile/releases/tag/v0.4.2`)
 - [ ] APK is signed with `keystores/production-release.jks`
 - [ ] SHA-256 fingerprint confirmed: see `distribution/SIGNING-KEY-FINGERPRINTS.md`
 - [ ] Sentry opt-in gate is in production (avoids `Tracking` anti-feature escalation)
@@ -56,7 +56,7 @@ release tag.
 # Confirm package id and version
 aapt dump badging apk-out/universal.apk | grep -E "package:|versionCode|versionName"
 # Expected:
-#   package: name='ai.opencode.mobile' versionCode='<N>' versionName='<X.Y.Z>'
+#   package: name='cc.agentlabs.opencode' versionCode='<N>' versionName='<X.Y.Z>'
 
 # Confirm signing fingerprint matches distribution/SIGNING-KEY-FINGERPRINTS.md
 apksigner verify --print-certs apk-out/universal.apk | grep SHA-256
@@ -77,7 +77,7 @@ Register or log in at https://codeberg.org/user/sign_up
 
 1. Go to https://codeberg.org/IzzyOnDroid/repodata/issues
 2. Click "New Issue"
-3. Title: `Include ai.opencode.mobile (OpenCode Mobile)`
+3. Title: `Include cc.agentlabs.opencode (OpenCode Mobile)`
 4. Body: paste the content from `distribution/izzyondroid-submission/INCLUSION-REQUEST.md`
    (with all `<PLACEHOLDER>` values replaced)
 5. Submit
@@ -101,7 +101,7 @@ Register or log in at https://codeberg.org/user/sign_up
 - Update `distribution/strategy.md` status row for IzzyOnDroid to "live"
 - Update `docs/fdroid.md` with inclusion date
 - When mainline F-Droid MR is later accepted, comment on this issue:
-  "Mainline F-Droid has accepted ai.opencode.mobile — please auto-delist per policy."
+  "Mainline F-Droid has accepted cc.agentlabs.opencode — please auto-delist per policy."
 
 ---
 
@@ -109,4 +109,4 @@ Register or log in at https://codeberg.org/user/sign_up
 
 - IzzyOnDroid inclusion policy: https://apt.izzysoft.de/fdroid/index/info
 - Codeberg issues: https://codeberg.org/IzzyOnDroid/repodata/issues
-- IzzyOnDroid repo (for badge URLs): https://apt.izzysoft.de/fdroid/index/apk/ai.opencode.mobile
+- IzzyOnDroid repo (for badge URLs): https://apt.izzysoft.de/fdroid/index/apk/cc.agentlabs.opencode