Хм, прикольная задача. :) А что если попробовать вообразить себе всё это в развёртке?
Я ничего не понимаю во всяких гиперплоскостях, поэтому попытаюсь думать по аналогии с трёхмерным пространством. Развёртку обычного трёхмерного куба можно представить в виде плоского "крестика", составленного из квадратов. Развёрткой тессеракта, как известно, может быть тот же "крест", но трёхмерный, составленный из кубов.
Вероятно, сечения этих кубов (образующих развёртку тессеракта) плоскостями — как раз и будут являться сторонами искомого многогранника (который в свою очередь будет являться сечением гиперкуба гиперплоскостью). То есть, если составить все сечения кубов вместе — мы должны получить искомый многогранник. Это необходимое условие для развёртки, чтобы она была развёрткой с нанесёнными на неё сечениями.
Или я не прав?.. Вот картинка с пояснениями моих мыслей:

Хотел для примера изобразить какие-нибудь сечения внутри развёртки тессеракта, но понял, что это опасно для моего мозга. :) Просто представьте, что они там есть.