Fix Sherpa local ASR state sync

[weikeyi]

User description

摘要

• 在设置变更和 Windows 启动时，将持久化的 active ASR provider 同步到后端运行时的 credentials vault，避免前端偏好与实际听写 provider 状态不一致。
• 让 Sherpa ONNX catalog/download 状态与已解压的 release archive 资源保持一致，包括 Qwen3 tokenizer/ 目录校验和 downloadedBytes 统计。
• 更新前端 Sherpa ONNX 状态展示与删除可用性：Overview 会在 ASR/LLM provider 变化时刷新 credentials 状态，Sherpa 模型存在部分下载或已解压资源时允许删除。
• 已基于最新 beta 解决设置页重构冲突：旧 Settings.tsx 不再进入本 PR，新版 settings/ProvidersSection.tsx 中已包含 sherpa-onnx-local 的本地 provider 识别逻辑。

验证

• git diff --check upstream/beta...HEAD ✅
• cargo check --manifest-path openless-all/app/src-tauri/Cargo.toml ✅
• npm run build ✅
• cargo test --manifest-path openless-all/app/src-tauri/Cargo.toml sherpa --lib -- --nocapture ✅
• cargo test --manifest-path openless-all/app/src-tauri/Cargo.toml persist_settings --lib -- --nocapture ✅

---

PR Type

Bug fix, Enhancement, Tests

---

Description

• Sync active ASR provider during saves.

  • Roll back vault state on failure.

• Validate Sherpa archives and tokenizer directories.

• Track downloaded bytes in catalog snapshots.

• Refresh Overview and delete availability state.

---

Diagram Walkthrough

flowchart LR
  Settings["Settings persistence"] -- "sync active ASR" --> Vault["Credentials vault"]
  Startup["Windows startup"] -- "restore provider" --> Vault
  Download["Sherpa download and extract"] -- "verify files" --> Cache["Local model cache"]
  Cache -- "bytes and validity" --> Catalog["Catalog snapshot"]
  Prefs["Provider changes"] -- "refresh credentials" --> Overview["Overview status"]

Loading

File Walkthrough

	Relevant files
Bug fix	7 files sherpa.rs Add path validation and download byte tracking                      +47/-1    sherpa_download.rs Verify archives and refine progress reporting                        +142/-24 sherpa_runtime.rs Use validated paths in catalog snapshots                                  +9/-2      commands.rs Sync active ASR provider while saving                                        +208/-2  lib.rs Restore active ASR provider on startup                                      +4/-0      LocalAsr.tsx Allow delete when bytes already exist                                        +5/-2      Overview.tsx Refresh credentials on provider changes                                    +17/-3
Enhancement	2 files coordinator.rs Add vault sync helpers for ASR                                                      +10/-0    localAsr.ts Extend Sherpa IPC types and signatures                                      +20/-18

---

[github-actions]

PR Reviewer Guide 🔍

(Review updated until commit 6d6510f)

Here are some key observations to aid the review process:

⏱️ Estimated effort to review: 3 🔵🔵🔵⚪⚪

🧪 PR contains tests

🔒 No security concerns identified

⚡ No major issues detected

[github-actions]

Persistent review updated to latest commit cd9696d

[github-actions]

Persistent review updated to latest commit 75a5082

[github-actions]

Persistent review updated to latest commit 072b7a1

[github-actions]

Persistent review updated to latest commit 6d6510f