fix(m157): r4 修复未收集的周快照用例 + 两处 clippy 红，并补整环回归（复审 p1-2）

P1-1 crates/core/src/launch/overrides/tests.rs：modded_weekly_snapshot_needs_the_root_version_for_the_gate 原先写在 backend_allowed_combines_capability_and_threshold 函数体内（unnameable_test_items，永不执行）。移到模块层；移动后首次真正执行暴露出用例自身的 EmptyJavaPath（AdapterOptions 默认 java 为空），补 JavaSelection 后绿。--list 现在 10 条 launch::overrides::tests::（含该名字）。

P1-2 clippy -D warnings 两处：cli/commands/instance_launch.rs needless_borrows_for_generic_args（去 &）；presenter/mock_data.rs items_after_test_module（mock_launch 移到 mod tests 之前）。

P3-a 新增整环回归 app/tests/instances_save_loop.rs：真 Message → dispatch → 后端回错误 Toast → pump → refresh_view → sync_launch_form，断言 4g 草稿与脏标记都还在。
P3-b LaunchForm::matches 内存改按数值比（解析失败退文本），补 memory_is_compared_by_value_not_by_text（04096 / +4096 / 清空三档）。
P3-c 门槛文案不再在 catalog 硬编码 26.2：InstancesLaunchBackendGated 改用 {min} 占位符，页面从 LaunchFacts::min_version（← core GRAPHICS_BACKEND_MIN_VERSION）代入；金表同步；灰化态截图重拍。

crates/app-iced/src/pages/instances/state.rs

@@ -87,17 +87,30 @@ impl LaunchForm {
 
     /// 表单当前内容是否与一份快照（= 盘上已持久化的值）完全一致。
     ///
-    /// 比较的是**文本口径**：内存按「快照有值 → 十进制串，无值 → 空串」对齐，其余直接比原文。
+    /// **内存按数值比**：host 会把 `"04096"` / `"+4096"` 归一成 `4096` 落盘，回程快照给的是
+    /// `Some(4096)`——按文本比会永远不等，于是表单一直脏、也不再跟随外部改动（r4 复审 P3-b）。
+    /// 解析失败（用户正在敲半截）才退回文本口径。
+    /// 其余字段直接比原文（JVM/游戏参数由 core 的 `tokenize` 消费，不做归一）。
     #[must_use]
     pub fn matches(&self, view: &LaunchArgsView) -> bool {
-        let memory = view.memory_mb.map(|mb| mb.to_string()).unwrap_or_default();
         self.jvm.trim() == view.jvm_args.trim()
             && self.game.trim() == view.game_args.trim()
-            && self.memory.trim() == memory
+            && self.memory_matches(view.memory_mb)
             && self.java.trim() == view.java_path.trim()
             && self.backend == view.graphics_backend
     }
 
+    /// 内存字段是否等于快照里的值（数值优先，解析失败退文本）。
+    fn memory_matches(&self, persisted: Option<u32>) -> bool {
+        let typed = self.memory.trim();
+        match (typed.parse::<u32>(), persisted) {
+            (Ok(typed), Some(persisted)) => typed == persisted,
+            // 空输入 = 跟随全局：快照那边也应当是「没有实例覆盖」。
+            (Err(_), None) => typed.is_empty(),
+            _ => false,
+        }
+    }
+
     /// 提交补丁：**五项全给**（表单是整份可见的，不用增量语义会让「清空」无法表达）。
     #[must_use]
     pub fn patch(&self) -> LaunchArgsPatch {
@@ -229,6 +242,34 @@ mod tests {
         assert_eq!(form.jvm, "-Xss4m");
     }
 
+    /// **内存按数值比**（r4 复审 P3-b）：`04096` / `+4096` 落盘后回程是 `4096`，必须判等。
+    ///
+    /// 抓得住：`matches` 退回文本比较——那样这两类输入会永远「没保存成功」，表单一直脏、
+    /// 之后外部改配置也不再重播种。
+    #[test]
+    fn memory_is_compared_by_value_not_by_text() {
+        for typed in ["04096", "+4096", " 4096 "] {
+            let mut form = LaunchForm::from_view(Some("a"), &view("a", "", Some(4096), "default"));
+            form.memory = typed.to_string();
+            form.dirty = true;
+            assert!(
+                form.matches(&view("a", "", Some(4096), "default")),
+                "`{typed}` 应判等"
+            );
+            form.sync(&view("a", "", Some(4096), "default"));
+            assert!(!form.dirty, "`{typed}` 保存确认后要清脏");
+        }
+        // 数值不等就是不等于；半截输入（解析失败）也不许判等。
+        let mut form = LaunchForm::from_view(Some("a"), &view("a", "", Some(4096), "default"));
+        form.memory = "8".to_string();
+        assert!(!form.matches(&view("a", "", Some(4096), "default")));
+        form.memory = "4g".to_string();
+        assert!(!form.matches(&view("a", "", Some(4096), "default")));
+        // 清空 = 跟随全局：快照也得是「没有实例覆盖」。
+        form.memory.clear();
+        assert!(form.matches(&view("a", "", None, "default")));
+    }
+
     /// 补丁五项全给：空串就是「清空」，不留 `None` 让 host 猜。
     #[test]
     fn patch_always_covers_all_five_fields() {