Являются ли русские ( коих 80% ) народообразующим народом России ( прописано ли это где либо)?

Это ни где не прописано. И зачем это прописывать? Если русские государствообразующий народ, он (русский народ) не нуждается в фиксации этого факта.
если этот статус по каким-то причинам будет утрачен - формальная запись в нормативном акте ничего не изменит.
Статус русских определяется не юридической формулировкой, а реальным доминированием на территории РФ.

Мне кажется, что последний раз народообразующий коллектив собрался в конце праздника Рамадан, и все это именовалось мультикультурностью и толерастией. Извините, но я этого не понимаю! Я с этим не согласен. Потому что и внешне, да и скрытно все это выглядит с одной стороны как акт агрессии и насилия. А с другой, как акт капитуляции и самоунижения. И еще, я ни к чему не призываю. Но я хотел бы, чтобы у каждого народа России было чувство самоуважения и чувство собственного достоинства. А не так, как писал А. Зиновьев - "Ты один, а мы оравой". Сегодня в паспортах нет графы национальность, и исчезло слово "РУССКИЙ", хотя раньше это был бренд, за это слово дрались. А ведь завтра Вам скажут, что Москва принадлежит китайцам, африканцам, и прочим детям хама.

Народообразующим конечно является: народ обязательно образует новый народ. Процесс деторождения еще никто не отменял.. .

Источник: курс биологии, средняя школа

статус русского народа по идее должен быть закреплен в конституции, но этого нет. по факту большинство жителей страны не русские а россияне, жители многонациональной страны России. Удивительно только почему государственный язык русский, а не россиянский, это было бы справедливо.