chore(m197): 三处拆文件守 400 行硬线（复审 r1 后新增内容把三个文件顶过线）

- `core/src/setting/keys.rs` 396（原 400 → 我的 +15 到 415）：`download.proxy_mode` /
  `proxy_url` / `gh_proxy` 三键搬进新 `keys/proxy.rs`（`specs()` + 一句「空串 ≠ 关」的守卫），
  主表留一行 `.with_all(proxy::specs())`——与 `font` / `update` 同一种形状。
- `core/tests/download/engine_mock_test.rs` 407 → 364：404 那条用例整条搬进
  `tests/download/engine_mock/not_found.rs`（`#[path]` 子模块，仍是 `engine_mock` 这个 target）。
- `pages/settings/java/downloads/tests.rs` 423 → 313：gh-proxy 两条守卫搬进
  `downloads/tests/gh_proxy.rs`（`#[path = "tests/gh_proxy.rs"]`）。

纯搬移 + 一条新单测（`keys/proxy.rs` 的「空串 = 跟随内置默认，不是关」）；行为不变。

crates/core/tests/download/engine_mock/not_found.rs

@@ -0,0 +1,67 @@
+//! `SourceFailed.kind` 的另一半（M197 复审 P2-2）：**404 是「该源没有这个文件」**，不是「源坏了」。
+//!
+//! 两档在引擎里的后果不同：`NotFound` 走 `record_missing`（不冷却源），`ServerError` 走
+//! `record_failure`。院校镜像只留最新补丁，请求旧补丁必然 404——判成「源坏了」会把唯一可用镜像
+//! 冷却掉（M33/M34 实测）。
+//!
+//! 变异证明：把 `engine.rs` / `bytes.rs` 的 `kind: err.kind` 改成常量 `Network` ⇒ 本条与
+//! `reports_progress_events_and_errors_when_all_sources_fail` 一起红。
+//!
+//! 拆成子模块：`engine_mock_test.rs` 加了这条之后 407 行，越过 400 行硬线（`guards.yml` 的
+//! `file-size`），于是把整条用例搬出来。
+
+use std::sync::Arc;
+
+use unlucky_core::download::cache::ContentCache;
+use unlucky_core::download::engine::DownloadEngine;
+use unlucky_core::download::error::DownloadErrorKind;
+use unlucky_core::download::health::HealthRegistry;
+use unlucky_core::download::mirrors::MirrorTable;
+use unlucky_core::download::progress::{ProgressEmitter, ProgressEvent};
+use unlucky_core::download::types::{DownloadRequest, ResourceKind};
+
+use super::support::{temp_dir, MockResponse, MockServer};
+use super::{direct_region, fast_config};
+
+#[tokio::test]
+async fn a_404_is_classified_as_not_found() {
+    let server = MockServer::start(vec![
+        MockResponse::status(404),
+        MockResponse::status(404),
+        MockResponse::status(404),
+        MockResponse::status(404),
+    ])
+    .await;
+    let url = server.url("/gone.jar");
+    let dir = temp_dir("engine-404");
+    let (emitter, mut events) = ProgressEmitter::channel();
+    let engine = DownloadEngine::new(
+        fast_config(1),
+        Arc::new(MirrorTable::builtin()),
+        Arc::new(direct_region()),
+        Arc::new(HealthRegistry::in_memory()),
+        Arc::new(ContentCache::open(dir.join("cache"))),
+    )
+    .with_progress(emitter);
+    engine
+        .download(DownloadRequest::new(
+            ResourceKind::Library,
+            url.as_str(),
+            dir.join("gone.jar"),
+        ))
+        .await
+        .expect_err("只有 404 的源必须失败");
+
+    let mut seen: Vec<DownloadErrorKind> = Vec::new();
+    while let Ok(event) = events.try_recv() {
+        if let ProgressEvent::SourceFailed { kind, .. } = event {
+            seen.push(kind);
+        }
+    }
+    assert!(!seen.is_empty(), "至少要有一条 SourceFailed");
+    assert!(
+        seen.iter().all(|kind| *kind == DownloadErrorKind::NotFound),
+        "404 必须分类成 NotFound，实际：{seen:?}"
+    );
+    server.stop();
+}

crates/core/tests/download/engine_mock_test.rs

@@ -359,56 +359,6 @@ async fn reports_progress_events_and_errors_when_all_sources_fail() {
     server.stop();
 }
 
-/// `SourceFailed.kind` 的另一半：**404 不是「源坏了」**，是「该源没有这个文件」。
-///
-/// 这两档在引擎里的后果完全不同（`NotFound` 走 `record_missing`，不冷却源；`ServerError` 走
-/// `record_failure`）。把两者混成一个常量最贵的地方就在这里：院校镜像只留最新补丁，请求旧补丁
-/// 必然 404，判成「源坏了」会把唯一可用镜像冷却掉（M33/M34 实测）。
-///
-/// 变异证明：把 `engine.rs` / `bytes.rs` 两处 `kind: err.kind` 改成 `DownloadErrorKind::NotFound`
-/// 常量 ⇒ 上面那条 500 用例红；改成 `Network` ⇒ 本条红。
-#[tokio::test]
-async fn a_404_is_classified_as_not_found_and_never_cools_the_source_down() {
-    let server = MockServer::start(vec![
-        MockResponse::status(404),
-        MockResponse::status(404),
-        MockResponse::status(404),
-        MockResponse::status(404),
-    ])
-    .await;
-    let url = server.url("/gone.jar");
-    let dir = temp_dir("engine-404");
-    let cache = Arc::new(ContentCache::open(dir.join("cache")));
-    let (emitter, mut events) = ProgressEmitter::channel();
-    let engine = DownloadEngine::new(
-        fast_config(1),
-        Arc::new(MirrorTable::builtin()),
-        Arc::new(direct_region()),
-        Arc::new(HealthRegistry::in_memory()),
-        cache,
-    )
-    .with_progress(emitter);
-
-    let error = engine
-        .download(DownloadRequest::new(
-            ResourceKind::Library,
-            url.as_str(),
-            dir.join("gone.jar"),
-        ))
-        .await
-        .expect_err("只有 404 的源必须失败");
-    assert_eq!(error.kind, DownloadErrorKind::AllSourcesFailed);
-
-    let mut seen: Vec<DownloadErrorKind> = Vec::new();
-    while let Ok(event) = events.try_recv() {
-        if let ProgressEvent::SourceFailed { kind, .. } = event {
-            seen.push(kind);
-        }
-    }
-    assert!(!seen.is_empty(), "至少要有一条 SourceFailed");
-    assert!(
-        seen.iter().all(|kind| *kind == DownloadErrorKind::NotFound),
-        "404 必须分类成 NotFound，实际：{seen:?}"
-    );
-    server.stop();
-}
+/// 「404 不是源坏了」的守卫（M197 P2-2 的第二档）：拆到子模块守 400 行硬线。
+#[path = "engine_mock/not_found.rs"]
+mod not_found;