feat(dashboard): show SSH connection string on menu (#80)

[axisrow]

Closes #80. Part of epic #73, follows up on the tunnel work (#79/#82).

Summary

Surfaces the SSH connection string (already written by the tunnel to ${HAPI_USER_HOME}/ssh-url) on the clihost dashboard, mirroring the existing HAPI relay-URL pipeline. Python-only; no Dockerfile/entrypoint changes.

Changes

• app/ttydproxy/config.py: SSH_URL_FILE env var, default /home/hapi/ssh-url (matches entrypoint.sh:267).
• app/ttydproxy/views.py: load_ssh_url(url_file) reads + validates the file; render_menu_page(username, hapi_url, ssh_conn=None) renders {{SSH_LINK}} as a non-clickable copyable <code class="ssh-link"> block, gated on a valid string (hidden entirely when absent, like the HAPI item).
• app/ttydproxy/app.py: handle_menu reads both files and passes ssh_conn to render_menu_page.
• app/index.html: {{SSH_LINK}} placeholder next to {{HAPI_LINK}} + .ssh-link CSS (monospace, copyable).
• tests/unit/test_load_ssh_url.py: new — valid chisel/cloudflared commands, missing/empty/whitespace, wrong prefix, bare ssh, newline/CR/NUL injection rejection.
• tests/unit/test_menu_views.py: extended — SSH block appears only with a command, hidden without it, command is HTML-escaped.

Security

The connection string is never interpreted, only displayed via html.escape(quote=True). load_ssh_url rejects anything that is not a single non-empty line starting with ssh (no embedded \n/\r/\x00), so a second command cannot ride the copy-paste path. Without a tunnel/file the SSH block is hidden entirely.

Test plan

• `python -m pytest tests/unit/` — 324 passed, 172 subtests passed (`test_threading.py` fails on socket bind under the sandbox only; unrelated to this change).

[axisrow]

🔍 Local review (cycle 1)

Reviewed locally (Claude subagent + Codex companion), no bots pinged.

Verdict	Reviewer	Finding	Location
FIX	codex	load_ssh_url валидация пропускает shell-метасимволы → копипаст-команда может содержать ; curl|sh и т.п.	app/ttydproxy/views.py:127-130
SKIP→cleanup	claude	docstring заявляет «other control chars», а проверяются только \n\r\x00 (косметика, значение HTML-escaped)	app/ttydproxy/views.py:117

Триаж FIX (codex): HTML-инъекция закрыта (html.escape, Claude подтвердил). Но PR в Security-секции заявляет, что защищает копипаст-путь, а валидация по факту покрывает только newline/NUL, не shell-метасимволы. Источник файла — env оператора через фиксированные printf-шаблоны в entrypoint.sh (тот же trust-model, что HAPI_URL_FILE), поэтому это defense-in-depth, а не открытая дыра. Но фикс дёшев и приводит код в соответствие с заявленным контрактом → ужесточаю валидацию: запрет shell-метасимволов в строке подключения.

Claude-ревью: критических нет, escaping/gating корректны, зеркалят проверенный паттерн load_hapi_url. Approve с одним минорным (docstring) → применю в cleanup-проходе.

Cycle 1/3: 1 FIX, 1 SKIP(→cleanup).

[axisrow]

🔍 Local review (cycle 2)

Reviewed locally (Claude subagent + Codex companion).

Verdict	Reviewer	Finding	Location
FIX	codex	Денилист пропускает -o ProxyCommand="cmd" — OpenSSH исполняет ProxyCommand локально ДО соединения → copy-paste RCE сохраняется	app/ttydproxy/views.py:136-139

Триаж (подтверждён по коду): claim верен. ssh -o ProxyCommand="touch /tmp/pwned" hapi@host проходит валидацию (нет запрещённых символов), но ProxyCommand/LocalCommand исполняются ssh локально. Денилист символов принципиально не решает задачу — легитимная cloudflared-форма сама содержит ProxyCommand=. Claude cycle-2 этот вектор пропустил (рассматривал только shell-chaining) — поймал Codex.

Решение: переход с денилиста на allowlist двух известных грамматик (chisel ssh -p <port> user@host и точная cloudflared-форма ssh -o ProxyCommand="cloudflared access ssh --hostname %h" user@host). Любые иные опции (-o, -F, LocalCommand и т.п.) — reject.

Cycle 2/3: 1 FIX. Идём в cycle 3 (последний по лимиту).

[axisrow]

✅ Local review (cycle 3/3) — APPROVE

Оба ревьюера (Claude subagent + Codex companion) на allowlist-версии cb4f30d: 0 FIX, APPROVE.

Что проверено	Результат
Critical #1 (shell-метасимволы)	✅ закрыт — нет в классах USER/HOST, fullmatch якорит
Critical #2 (произвольный -o ProxyCommand → локальный RCE)	✅ закрыт — ProxyCommand зафиксирован дословно в regex
Новые байпасы (anchoring, ReDoS)	✅ нет — линейные regex, 600k симв. за 0.0003с
Обе легитимные формы (chisel + cloudflared)	✅ проходят
Тесты test_load_ssh_url.py	✅ 13 passed, 15 subtests

Cleanup-проход (6.5) — осознанно НЕ применённые миноры

• docstring про control chars — уже приведён в соответствие в 6fc97e7/cb4f30d.
• host-regex допускает ведущий -/..; порт 0-99999 — оба ревьюера пометили как косметику, НЕ security (значение — вывод самого туннеля, HTML-escaped, в позиционном слоте user@host, без метасимволов). Ужесточение валидации здесь несёт риск отвергнуть легитимный edge-case без выигрыша в безопасности → оставлено намеренно.

Итог: ревью-цикл завершён за 3 раунда, поймано и исправлено 2 critical RCE-вектора (shell-chaining → денилист → allowlist). Merge — за владельцем (local mode не мержит сам).