Constant MCP_JSON_WRITE_LOCK 

pub const MCP_JSON_WRITE_LOCK: &str = ".claude/.agentmux-mcp-json.lock";

Held (exclusively) for the whole read-merge-write in write_mcp_json_respecting_user_servers. See its doc comment.