v0.12.0 — doctor --target + PMG ticket-race fix
The doctor preflight goes multi-target-aware, plus a PMG login-concurrency fix. No new tools (still 351 across PVE/PBS/PMG/PDM); no behavior change at the default. A small, deliberate minor: 0.11.0 made the MCP tools target-aware but left the doctor CLI pinned to the env-configured box; this closes that gap. Drop-in over 0.11.0 — nothing to read before upgrading.
Added
proximo doctor --target <name>— thedoctorCLI preflight can now target a named remote from thePROXIMO_TARGETSregistry (thepve_doctorMCP tool was already target-aware; this wires the CLI flag). Omit--targetand behavior is byte-identical (the env-configured box).
Fixed
- PMG ticket-refresh race —
PmgBackendnow serializes login under a lock (double-checked in_ensure_ticket; the 401 re-login is locked, with the HTTP retry left outside the lock to avoid a deadlock). Latent under the single-threaded stdio transport, but a real correctness gap if the backend is ever driven from multiple threads/async tasks.