Добавили правило: факт действует только внутри своей области применимости, а его перенос в другой контекст — отдельный вывод, требующий дедуктивного или эмпирического обоснования. ask-nodumb теперь замечает смену сущностей, условий, шкалы и модели; nodumb спрашивает не просто «есть ли новый факт», а «есть ли новый применимый факт». Крайний кейс и инвариант остались способом поймать ошибочный перенос, но не считаются его доказательством. В итоге хороший ресёрч больше не должен автоматически превращаться в неверное продуктовое правило.