mira_proxy：把迴環上的 DSH Web GUI 變成局域網 HTTPS 入口

mira_proxy 是 Stella-Mira 維護的 DSH admin-security 插件（0.2.0，MIT）。它在插件進程內啓動 HTTPS 反向代理（默認 8543），將只監聽 127.0.0.1:3080 的 Web GUI 暴露給局域網，提供 Basic 認證、Host/Origin 改寫、每請求注入 dsh-auth 簽名 cookie 與可續期的 mira-proxy-auth，並支持 WebSocket 直通。安裝使用 plugin_manager install_bundle 指向源碼目錄；配置寫在 profile 的 config，數據位於 $DSH_HOME/mira_config/mira_proxy。適用需在子網安全訪問 GUI 的場景，需注意單用戶語義、防火牆與改 lib 後須重啓 DSH。