feat: 完善 SAM2.1 模型选择与标注工作流

- 后端 SAM2 引擎新增 sam2.1_hiera_tiny、sam2.1_hiera_small、sam2.1_hiera_base_plus、sam2.1_hiera_large 四个变体定义，并按变体维护 checkpoint/config、image predictor、video predictor、加载状态、错误信息和真实状态回报。

- 后端 SAM registry 仅暴露当前产品启用的 SAM2.1 变体，保留 sam2 作为 tiny 兼容别名，拒绝 sam3 产品入口，并把 point、box、interactive、auto、propagate 都分发到所选 SAM2.1 变体。

- 后端默认配置和下载脚本切换到 SAM2.1 checkpoint 命名，支持 legacy SAM2 checkpoint fallback，并在状态消息中标出 fallback 使用情况。

- 前端全局 AI 模型状态新增 SAM2.1 tiny/small/base+/large 类型和默认 tiny，API 请求默认携带 sam2.1_hiera_tiny，AI 页面提供模型变体选择和所选模型状态展示。

- AI 智能分割页移除当前产品不使用的 SAM3/文本提示入口，保留正向点、反向点、框选和参数开关；AI 页只展示本页生成的候选 mask，并支持遮罩清晰度调节、候选 mask 上继续加正/反点、清空本页候选、推送到工作区编辑。

- 工作区和 Canvas 补强 SAM2 交互式细化链路：框选后正/反点继续细化同一个候选 mask，反向点请求启用背景过滤，空结果会移除被否定候选；AI 推送到工作区后保留选中态和未保存 draft mask。

- 工作区标注保存闭环补强：未保存 mask 可归档保存，dirty saved mask 可更新，保存后用后端 saved annotation 替换已提交 draft，清空/删除已保存 mask 时同步后端删除。

- Dashboard 任务进度区改为展示 queued、running、success、failed、cancelled 最近任务，处理中统计只计算 queued/running，并保留近期完成记录。

- 时间轴在顶部时间进度条和底部缩略图导航轴之间新增已编辑帧标记带，基于当前项目帧内 masks 标出已有编辑/标注的帧，并支持点击标记跳转。

- 前端测试覆盖 SAM2.1 变体选择、模型状态徽标、AI 页候选隔离、遮罩透明度、候选上追加正/反点、推送工作区保留选择、Canvas 交互式细化、VideoWorkspace 传播/保存、Dashboard 进度和时间轴已编辑帧标记。

- 后端测试覆盖 SAM2.1 变体状态、sam2 alias 兼容、sam3 禁用、semantic 禁用、传播标注保存、Dashboard 最近任务状态和 SAM3 历史测试跳过说明。

- README、AGENTS 和 doc 文档同步当前真实进度，更新 SAM2.1 变体、SAM3 禁用、接口契约、设计冻结、需求冻结、前端元素审计、实施计划、FastAPI docs 说明和测试矩阵。

src/components/CanvasArea.tsx

@@ -326,12 +326,35 @@ export function CanvasArea({ activeTool, frame, onClearMasks, onDeleteMaskAnnota
   }, [frame?.id]);
 
   useEffect(() => {
-    setGlobalSelectedMaskIds(selectedMaskIds);
-  }, [selectedMaskIds, setGlobalSelectedMaskIds]);
+    const currentGlobalSelectedIds = useStore.getState().selectedMaskIds;
+    if (selectedMaskIds.length === 0) {
+      const validGlobalSelectedIds = currentGlobalSelectedIds.filter((id) => (
+        frameMasks.some((mask) => mask.id === id)
+      ));
+      if (validGlobalSelectedIds.length > 0) return;
+    }
+    const isSameSelection = currentGlobalSelectedIds.length === selectedMaskIds.length
+      && currentGlobalSelectedIds.every((id, index) => id === selectedMaskIds[index]);
+    if (!isSameSelection) {
+      setGlobalSelectedMaskIds(selectedMaskIds);
+    }
+  }, [frameMasks, selectedMaskIds, setGlobalSelectedMaskIds]);
 
   useEffect(() => () => setGlobalSelectedMaskIds([]), [setGlobalSelectedMaskIds]);
 
   useEffect(() => {
+    if (!selectedMaskId) {
+      const validGlobalSelectedIds = useStore.getState().selectedMaskIds.filter((id) => (
+        frameMasks.some((mask) => mask.id === id)
+      ));
+      if (validGlobalSelectedIds.length > 0) {
+        setSelectedMaskId(validGlobalSelectedIds[0]);
+        setSelectedMaskIds(validGlobalSelectedIds);
+        setSelectedPolygonIndex(0);
+        setSelectedVertexIndex(null);
+        return;
+      }
+    }
     if (selectedMaskId && !frameMasks.some((mask) => mask.id === selectedMaskId)) {
       setSelectedMaskId(null);
       setSelectedMaskIds([]);
@@ -444,11 +467,6 @@ export function CanvasArea({ activeTool, frame, onClearMasks, onDeleteMaskAnnota
       setInferenceMessage('请先选择一帧图像。');
       return;
     }
-    if (aiModel === 'sam3' && (!promptBox || (promptPoints?.length ?? 0) > 0)) {
-      setInferenceMessage('SAM3 当前工作区只支持框选提示；正/反点修正请切回 SAM2。');
-      return;
-    }
-
     const imageWidth = frame.width || image?.naturalWidth || image?.width || 0;
     const imageHeight = frame.height || image?.naturalHeight || image?.height || 0;
     if (imageWidth <= 0 || imageHeight <= 0) {
@@ -482,7 +500,7 @@ export function CanvasArea({ activeTool, frame, onClearMasks, onDeleteMaskAnnota
         const color = activeClass?.color || existingCandidate?.color || m.color;
         const metadata = {
           ...(existingCandidate?.metadata || {}),
-          source: aiModel === 'sam3' ? 'sam3_box' : 'sam2_interactive',
+          source: 'sam2_interactive',
           promptBox: promptBox || null,
           promptPointCount: promptPoints?.length || 0,
           promptNegativePointCount: promptPoints?.filter((point) => point.type === 'neg').length || 0,