HALDEN_SERVER_SSH_ROUTE_PROOF_R1_SPECS_PUBLIC_MARKER createdAtUtc=2026-05-25T15:46:19+00:00 purpose=prove watcher SSH deploy can route to public_html/specs/target-tests without changing runtime code