chore(m135): 删掉死代码 launch::loader_label，修 M134 之后变假话的三处文档

M134 复审点名、且都在它 scope 外的收尾。

- `presenter/src/host/launch.rs::loader_label` 删除：全仓零调用点（唯一提及是
  i18n 的一条注释），函数体逐字重复 `dto::LoaderKind::label()` 并硬编码「原版」——
  它既是第二份显示词表，又绕过 i18n；留着等于给下一个人示范「照这样写就行」。
  随之无用的 `LoaderKind` import 一并收掉。
- `presenter/src/lib.rs` 的 dead_code 豁免说明不再点名已删函数（否则那行注释指向
  一个不存在的符号）。
- `i18n/src/bridge.rs:65` 注释改指向唯一那份显示词表（`dto::LoaderKind::label()`）。
- `core/src/game/loader.rs` 与 `presenter/src/dto/instances.rs` 两处「显示路径
  没有守卫（已知缺口）」改成 M134 之后的真形态：显示路径是委派（拿 core 的稳定 id
  反查 DTO 词表，没有手写 match 可糊），新种类先在 `dto::LoaderKind::from_core` 编
  不过，糊错的后果由 `loader_kind_ids_are_the_released_contract` 与按 `ALL` 遍历的
  `every_core_loader_kind_reaches_the_tile_as_itself` 钉住。
- `presenter/src/host/game.rs` 无需改动：M134 当时已把它的文档改成新形态，读下来是
  真话（`dto_kind` 的 doc 与两个测试的 doc 都对得上现在的代码）。

验证：fmt --all --check 通过；`cargo test -p unlucky-presenter -p unlucky-i18n`
= i18n 29 passed / presenter 220 passed（1 ignored）；clippy 两 crate --all-targets
`-D warnings` 零告警。删后全仓（含 workspace 外的 crates/app）已无
`launch::loader_label` 引用。

crates/presenter/src/dto/instances.rs

@@ -282,12 +282,12 @@ mod tests {
     }
 
     /// 对外契约：七个 id 在测试里**独立抄一遍**（0.2.0 已发布形状），并与 core 的 `ALL` 做
-    /// **集合比较**——这是对外词表的守卫（与 CLI 的 help 守卫互补；显示路径
-    /// `presenter::host::game::dto_kind` 目前没有守卫，见 `game::loader` 的模块文档）。
+    /// **集合比较**——这是对外词表的守卫（与 CLI 的 help 守卫互补）。显示路径另有守卫：
+    /// `presenter::host::game::every_core_loader_kind_reaches_the_tile_as_itself`（按 `ALL` 遍历）。
     ///
-    /// 为什么不是编译器管：编译期只拦得到「漏 match」，而新种类在三处消费方用最省事的
+    /// 为什么不是编译器管：编译期只拦得到「漏 match」，而新种类在还有 match 的消费方用最省事的
     /// `=> Vanilla` 糊过去**编得过**，那时新加载器会静默显示成原版（`game::loader` 模块文档
-    /// 第 ③ 步）。真正拦住它的是下面第 ② 段的集合断言。
+    /// 第 ③ 步）。对外词表由下面第 ② 段的集合断言守，显示路径由上面那条测试守。
     ///
     /// 抓得住：改词表（`neoforge` → `neo_forge`）；**新增一家加载器而没主动更新这份契约**
     /// （core 的 `ALL` 多一支 ⇒ 集合不等）；DTO 委派接错支（`OptiFine` 映到 `LiteLoader`）；