НЕиСТОРик,  - всё же не гидролог

и не гидрограф!

Извините если что не так :)

Как бы нам ни хотелось называть Грибковский овраг рекой, мы должны себя ограничить в желаниях. Видимо, должны (полной уверенности нет). Научные и околонаучные источники дают нам различные трактовки термина «ручей».

Одни говорят, что ручьев вообще нет; значит, Грибковский овраг это река по определению. Небесспорная Википедия также пишет, что четких границ между малой рекой и ручьём не установлено.

Иные дают градацию по длине (5 или 10 км) - и мы со своим Грибковским оврагом опять/снова оказываемся на границе между малой рекой и ручьём. 

Нашёл градацию по площади водосбора.  Нижний предел для реки - 50 кв.км. бассейна водосбора. По этому параметру мы не подходим - у нас всего 10 кв.км., согласно данным гражданина Ю.А.Насимовича - ссылка.

Есть параметры по временному/постоянному водотоку. У нас - почти по всей длине водоток постоянный, хоть и не везде интенсивный.

Да! На старых картах значится речка Грибовка. Но картографы прежних веков не сильно заморачивались насчёт параметров и исходили из фактических названий. Мы, кстати, в этом случае можем настоять (!!!) на учёте исторического наименования.

Река Грибковский овраг

Ручей Грибковский овраг

Ручей Грибковского оврага

Такие наименования - на данный момент - являются правильными.

На топокартах ГШ ВС СССР синим по светлому написано «Грибковский овраг». Правда, карты эти 1:100000 (километровка). Более подробные - легально в Сети не встречаются, и мы искать их не будем.  Ручей там или река - ???

Оба варианта с ручьём встречаются в МКЭО-2007, которое мы цитировали здесь.

И вот что - в дополнение - я нашёл в макулатуре. В документе 1977 года тоже применяется формулировка - ручей Грибковского оврага.