bug: SSH 远程会话（DGX Spark + pi）三问题：BYOM 模型快照不可用 / Codex CLI 检测不到 / 协同模式 0 可用模型

## 背景

DGX Spark 开发者，日常通过 SSH 维护两台 Spark（GB10）上的项目。同样的 SSH 工作流下，**Cursor、ChatGPT/Codex、NVIDIA Sync 终端全部正常**，只有 Cindy 的 SSH 会话存在以下三个问题。

## 环境

- 远端：NVIDIA DGX Spark（GB10, aarch64）×2，Ubuntu 24.04，局域网 SSH（ssh-agent 认证），Cindy 显示「已就绪」
- Pi 0.84.4（Cindy 自动安装）；Codex CLI 0.153.4（手动安装于 `~/.local/bin`，已登录）

## 问题 1：BYOM 模型已写入快照，但 SSH 会话中不可用

**现象：** 会话 models.json 快照确实包含 BYOM provider（走本地代理+会话凭证注入），pi 进程有凭证变量、代理端口在监听，但切换到这些模型时**没有任何请求发出**（会话 JSONL 只有 model_change 事件），静默失败；Cindy 端新增的 BYOM 条目（OpenAI）从不下发到 SSH 后端的快照，而同账号本地对话正常；对照 xAI 适配正常、OpenAI 始终缺席，指向 provider 级缺口而非用户操作问题。结果：SSH 会话只有显式配 API key 的 provider 可用。

**复现：** 添加 BYOM → SSH 新会话 → 切到该模型发消息 → 不可用；对比远端 `~/.xdt-server/v1/pi-agent-home/run-tmp/<会话>-<哈希>/models.json` 与本地会话的 provider 列表。

**诉求：** 打通 BYOM 在 SSH 会话的凭证注入/鉴权链路；BYOM 变更完整同步到 SSH 后端；不可用时明确报错、不静默。

（逐条排查证据链见下方评论）相关：#65

## 问题 2：远端已安装 Codex CLI，Agent 设置页显示「未安装」

**现象：** `which codex` → `~/.local/bin/codex`，codex-cli 0.153.4 且登录态有效，但 Agent 设置页显示「未安装」（图 1）。疑似只查固定路径或非登录 shell 的 PATH。

**诉求：** 检测覆盖 `~/.local/bin` 等常见路径或遵循登录 shell PATH；支持手动指定路径。

## 问题 3：协同模式 0 可用模型并崩溃

**现象：** SSH 会话开协同 → 配置模型「没有匹配的模型」，可用模型 0（图 2），随后崩溃。**对照：** 本地会话协同正常（图 3：Pi Lead + K3 reviewer + 2×Grok 4.6 generator 全流程推进），证明协同能力本身可用，是 SSH 会话模型列表获取/展示的 bug。

**诉求：** 协同正确读取 SSH 会话可用模型；无可用模型时给原因和引导，而非崩溃。

## 附图

图 1：Agent 设置 Codex 未安装；图 2：SSH 协同 0 模型；图 3：本地协同正常运行（截图在评论区补充）

Reproduce the SSH session using the remote models.json under ~/.xdt-server/v1/pi-agent-home/run-tmp/ and compare its provider list with a local session. Trace BYOM synchronization and credential injection, Codex detection of ~/.local/bin/codex, and collaboration’s SSH model-list handling. Done means BYOM models work or report an error, Codex is detected, and zero available models shows guidance instead of crashing.

Written by the indexing model from the issue text.