feat: 页面顶部环境徽标（防混库第 4 层）

启动日志和横幅只在日志里；用户在界面上操作时也该一眼看出连的是哪个库。
生产显示红底 'PROD · <库名@主机/库>'，开发显示灰底 'DEV'，鼠标悬停给出完整目标。
环境信息由 core/db_config.env_badge() 提供（不含密码），web_server 注入 Jinja 全局。

doc/DEPLOY.md

@@ -76,8 +76,9 @@ DB_NAME=auto_control
 **防混库**（`DEPLOY_ENV` 与库名/库标签双向校验，配置项说明见 [DEVELOPMENT.md](DEVELOPMENT.md) §4.2
 与 `.env.example` 的「数据库」段）：启动时若
 「`.env` 声明的环境」与「库名」或「库中登记的 `app_meta.deployment_env`」不符，**直接拒绝启动**并打印
-两边分别是什么。每次启动还会打印一条横幅写明当前连的是哪个库（生产用 WARNING 级）。两个逃生阀
-`DB_ALLOW_ENV_MISMATCH` / `DB_ALLOW_SQLITE_FALLBACK` 默认关闭。
+两边分别是什么。每次启动还会打印一条横幅写明当前连的是哪个库（生产用 WARNING 级），
+页面顶部也常驻一个环境徽标（生产红底 `PROD · <库>`，开发灰底 `DEV`）。
+两个逃生阀 `DB_ALLOW_ENV_MISMATCH` / `DB_ALLOW_SQLITE_FALLBACK` 默认关闭。
 
 其余配置项与默认值见 [DEVELOPMENT.md](DEVELOPMENT.md) §配置速查。