diff --git a/DIVERGENCES.md b/DIVERGENCES.md
index 9e5238c7f6..d61ee25038 100644
--- a/DIVERGENCES.md
+++ b/DIVERGENCES.md
@@ -157,7 +157,7 @@ from the squash message first, or use a plain merge.
   `ai.opencode.desktop` appId / `opencode://` scheme (identity plumbing wired into
   deep-link handling).
 - **Internal names**: `@opencode-ai/*` package names and file names
-  inside `~/.local/share/codev` (e.g. `opencode-local.db`) keep upstream naming on purpose.
-  Renaming them would be a permanent merge-conflict machine for names users never see.
-  Do not "clean these up". (Env vars were originally in this bucket; that decision was
-  reversed — see the env-var rename row.)
+  inside `~/.local/share/codev` (`opencode.db` in released builds; `opencode-<channel>.db`,
+  e.g. `opencode-local.db`, when running from source — see `core/src/database/database.ts`)
+  keep upstream naming on purpose. Renaming them would be a permanent merge-conflict
+  machine for names users never see. Do not "clean these up".