Второй вариант правильный. Обратите внимание: Радищев учился в Пажеском корпусе (не в Пражском).
«Сделаем поверку сему исчислению», — находим у А. Н. Радищева. В романе И. А. Гончарова «Обломов» читаем: «Она поглядела на него молча, как будто поверяла слова его, сравнила с тем, что у него написано на лице, и улыбнулась: поверка оказалась удовлетворительною». А что вышло на поверку? — можно вспомнить и это выражение. Слова поверить, поверка известны давно, но в современной речи чаще всего употребляются в качестве технических терминов. Едва ли стоит устанавливать запреты на использование этих слов, только следует принять во внимание, что отнюдь не всегда они могут быть знакомы собеседникам.
Вы правы, родовое слово село обычно упоминается в общих правилах о склонении географических названий, но примеров с таким словом немного. Кроме того, некоторые рекомендации, приведенные в справочных пособиях, противоречат друг другу.
Однозначно можно утверждать, что не изменяются в сочетании со словом село топонимы славянского происхождения, оканчивающиеся на -ово, -ево, -ино, -ыно: за селом Быково, о селе Николино, а также названия, внешняя форма которых соответствует форме мн. числа: в селе Ходуны. Обычно не изменяются и названия среднего рода, оканчивающиеся на -о, -е, типа Молодечно, Миронежье: в селе Молодечно, из села Миронежье.
Непротиворечивыми примерами для общего правила «склонять» будут названия среднего рода, являющиеся по своему происхождению прилагательными: в селе Шушенском, из села Михайловского, в селе Красном (такие названия следует отличать от описанной выше группы).
Что касается названий сел женского рода, то здесь рекомендации справочных пособий разнятся: в одних источниках такие названия в сочетании со словом село даны как склоняемые (в селе Соломинке), в других указывается на тенденцию к несклоняемости географического названия при несовпадении его рода с родом обобщающего нарицательного слова. Впрочем, это именно тенденция, а не жесткое правило.
Что касается противоречия между современной нормой и склонением села Горюхина в названии известного произведения А. С. Пушкина, то нужно помнить, что раньше склоняемость охватывала большее число собственных имен, чем сейчас. Склонялись и такие названия, которые нам сейчас кажутся «железно» несклоняемыми. Например, у А. Н. Радищева можно прочитать: «Рафаэль из Урбина», сейчас итальянское название Урбино никому не придет в голову изменять по падежам. Во времена Пушкина склонение названий на -ово, -ево, -ино, -ыно в сочетании с родовым словом было нормой.
С родовым словом это название не склоняется. Подробно см. в Письмовнике.
Поскольку название Репищева улица происходит, по-видимому, от слова репищи (см. ссылку на Articles" target=blank>интересную статью), то правильным будет второй вариант.
Для названия Репищев переулок верно: на перекрестке Репищева переулка.