Я спрашивал пользователей Carat-a, они мало что знали про экспорт в 3д-формат, им это было не нужно.
Судя по описанию самого Carat-a, он может экспортировать в векторную графику, в т.ч. в DXF файл ( https://doc.caratcloud.com/carat/onlinehelp/en/Content/5_PlanungGraf/500300/DateiformateGrafik.htm ). Я как только увидел развёртку в pdf-файле, понял что чертёж у них в векторе, и рендеры программа делает по 3D-моделям. Также я с сотрудницей нашёл способ экспортировать план в формат DXF по этой схеме: https://www.youtube.com/watch?v=Si-glIRCJ-A .У них есть возможность экспортировать 3D-модели.
Если идти по лёгкой схеме - это функция стоит €27 в месяц. Проблема с Каратом в том что она узко-специализированная, до неё не добрались программисты и пользуются ей не разбирающиеся в компьютерах пользователи, поэтому она малоизвестна в компьютерной среде. Поэтому за примитивную функцию владельцы Carat просят деньги каждый месяц.
Если идти по нестандартному пути, то я вижу ответ в экспорте 3д из файлов *.PRJZ с помощью сторонней программы, они находятся там. Интерфейс программы контролируется создателем ПО, нужной кнопочки там не найдёшь, при чём разные экспорты находятся в разных местах, это не Автокад или 3дс макс, File-Export-Export selected.