Идет ли какое то нарушение идеологии фреймворка когда у контроллера несколько моделей?
А какая разница какие модели использует контроллер?
Он как раз для этого и нужен (в общем случае) - чтобы рулить что передавать во view.
View вообще все равно что в нее передают, она должна просто показать это.
Я так понимаю, что вопрос появился из-за REST контроллера (index, update, store, ...)? Конечно не стоит делать обновление\вывод модели User в контроллере PostsController, но например вывести посты + связанных юзеров никто не запрещает.
Для начала давайте уточним: речь идет не о идеологии фреймворка, а об одном из шаблоном проектирования - MVC - на котором этот фреймворк построен.
Если чисто академически - да, идет нарушение, потому что для этого парртера должно всегда выполняться правило 1M = 1V = 1C.
Чисто практически - если только один контролер вызывает именно эти две конкретные модели, тогда ничего страшного нет, однако, если именно эти две модели, нужны десятку-другому контроллеров по всему приложению, думаю имеет смысл сделать какую-то обертку именно для этих двух моделей.