缩略图二分定位 + 邻域采样

B. 二分定位 + 邻域采样（我推荐）
把配置的语义从"这就是要生成的 10 档"改成"允许搜索的参数梯度"（比如分辨率梯度、帧率梯度、质量梯度三张表）。运行时：
1. 用每个组合只编 2 帧的方式粗估体积（很便宜）；
2. 靠单调性做二分，几轮就找到"体积刚好不超过目标"的参数点；
3. 在这个点周围取 10 个组合（略高、略低各几个），完整生成。
成本大概是十几次估算编码 + 10 档完整编码，和现在基本持平甚至更省（估算只编 2 帧）。效果是候选真正围绕你输入的目标分布——比如你填 30 KB，出来的就是 22、26、29、31、35 KB 这种，而不是 5 KB 和 300 KB 各一个。
代价是你现在这套配置格式要推翻重做——从"精确档位表"变成"参数范围表"

_locales/zh_CN.json

@@ -36,6 +36,13 @@
         "animatedCompressing": "正在压缩动画缩略图 {current}/{total}…",
         "animatedWebpUnavailable": "当前环境不支持 WebP 编码，请选择 APNG",
         "animatedCannotFit": "无法在保留动画的前提下压缩到 {target} KB（最小约 {actual} KB），请提高上限或缩短帧范围",
+        "animatedPickTitle": "选择一个缩略图",
+        "animatedPickHint": "所有结果画布都是 400×400，标签为实际细节分辨率@帧率/质量/文件大小。点选一个结果后按确认替换缩略图，取消则全部放弃。",
+        "animatedPickConfirm": "确认",
+        "animatedPriority": "优先级别",
+        "priorityResolution": "分辨率优先",
+        "priorityFramerate": "帧率优先",
+        "priorityBalanced": "分辨率和帧率交替进行",
         "qualityLow": "低",
         "qualityMedium": "中",
         "qualityHigh": "高",