DoVer: отладка LLM через проверку гипотез действием

DoVer (Do-then-Verify) — система автоматической отладки multi-agent LLM-систем через активную проверку гипотез. Вместо того чтобы просто смотреть логи и гадать "где ошибка", DoVer вмешивается в подозрительный шаг (меняет сообщение агента или план), перезапускает систему с этого места и проверяет — помогло ли. Если после вмешательства задача решилась — гипотеза подтверждена, если нет — опровергнута. Это превращает отладку из анализа логов в эксперимент с проверяемым результатом.