Официальное описание Петербургской олимпиады фиксирует традиционную систему «довывод–вывод» и базовую продолжительность 3 часа; участники, перешедшие в вывод, получают ещё 1 час. Полностью прочитанные комплекты 2021/22 и 2022/23 показывают конкретную структуру 11 класса: 7 задач, из них 1–4 довыводные и 5–7 выводные.

Практическое архивное описание старших классов указывает порог 3 полностью сданные задачи для перехода в вывод. Поскольку индексированная официальная текущая страница не раскрывает отдельную строку с этим числом именно для сезона 2025/26, в dataset оно отмечается как документированная традиционная практика, а не как заново проверенная текущая нормативная цифра.

Решения сдаются устно членам жюри. Письменный черновик может использоваться как опора, но результат определяется устной защитой. «Довывод» и «вывод» — части одного городского тура, а не два этапа.

Подробное практическое описание процедуры сообщает, что участник рассказывает решение члену жюри, небольшой недочёт иногда можно исправить сразу, а после неудачного рассказа допускается повторный подход. Там же указано ограничение трёх неудачных подходов к одной задаче, после которых её больше не принимают. Этот лимит хорошо документирован вторичным архивным источником, но не был заново извлечён из актуальной официальной страницы 2025/26, поэтому не маркируется как независимо перепроверенная текущая норма.

Надёжно официально подтверждены устный формат, система «довывод–вывод» и дополнительный час для вывода. Из самой структуры реальных комплектов 2021/22–2022/23 видно, что отдельного числового partial credit за незавершённую лемму нет: участнику нужен полностью защищённый номер, чтобы он засчитался как решённый.

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