История

Когда добавлен каждый дефект и в каком состоянии его исправление. Время — UTC, по коммитам сайта, задачам в трекере (ключи MATH-…) и PR; новые записи сверху.

Дефекты и их PR

№дефектдобавленисправлениеPR открытв апстриме
1Автоморфизмы передаются в чужом базисе17.10.2026#9617.10.2026открыт
2Счётчики орбит в char17.10.2026#9917.10.2026открыт
3EpimorphismStandardPresentation17.10.2026#10017.10.2026открыт
4Закон экспоненты, которому группа не удовлетворяет17.10.2026#9717.10.2026открыт
5Ранг в SP при опции Relators17.10.2026#9817.10.2026открыт
6Старые группы в интерактивном PqDescendants17.10.2026#10117.10.2026открыт
7SavePqList17.10.2026#10217.10.2026открыт
8Опция RelativeOrders17.10.2026#10317.10.2026открыт
9Тривиальные группы в IsIsomorphicPGroup17.10.2026#10417.10.2026открыт
10Опция PcgsAutomorphisms с последовательностью, не являющейся PAG18.10.2026#11018.10.2026открыт
11Закон экспоненты при автоморфизмах, заданных вручную18.10.2026#11218.10.2026открыт
12Очередь закона экспоненты в классе 218.10.2026#10618.10.2026открыт
13glOrder при $p^d > 10000$18.10.2026#11718.10.2026открыт
14PqEpimorphism для pc-группы, не являющейся $p$-группой18.10.2026#11118.10.2026открыт
15StepSize больше ядерного ранга; временный каталог; имена групп18.10.2026#119, #120, #12118.10.2026открыт
16Простые $p \ge 2^{15}$18.10.2026#11618.10.2026открыт
17Больше 65535 pc-порождающих в одном классе18.10.2026#11418.10.2026открыт
18Рабочая память для коммутаторного соотношения с показателем18.10.2026#10918.10.2026открыт
19StandardPresentation с pQuotient в другой pc-презентации18.10.2026#11818.10.2026открыт
20Файлы сохранённых групп при сборке с GMP18.10.2026#10518.10.2026открыт
21Слова Шрайера без проверки места18.10.2026#10818.10.2026открыт
22Переполнение числа допустимых подгрупп18.10.2026#11318.10.2026открыт
23Относительные порядки, записанные для GAP18.10.2026#10718.10.2026открыт
24Относительные порядки разрешимого стабилизатора18.10.2026#11518.10.2026открыт

Состояние PR в апстриме на 18.10.2026.

События

время (UTC)событие
18.10.2026
—Сайт: дефекты второго прохода 10–24, «Открытые вопросы» сведены к двум известным рискам и списку опровергнутого, русская версия, эта страница истории.
22:36Ветка correctness продвинута до b7deefa: орбиты неразрешимой группы автоморфизмов через union-find (ispacex/anupq#2). Это ускорение, а не исправление: выдача побайтно та же, что на cdce1dc (потомки (Z/2)^d, (Z/3)^d, групп класса 2 с неразрешимой Aut, 360 SmallGroups порядков 64–256); пиковая память pq падает со 137 МБ до 20 МБ на Z/4×(Z/2)^6 и с 1,92 ГБ до 1,27 ГБ на (Z/2)^5 с шагом 13; проходят 123 файла тестов.
14:20Повторный прогон проверки стандартных презентаций порядка 128 завершён: все 2328 групп получают попарно различные презентации, а случайная перепрезентация каждой — ту же самую, и на master, и на correctness (0 ошибок; master — 1947 с процессорного времени).
12:10Ветка correctness репозитория ispacex/anupq продвинута до cdce1dc: master со всеми исправлениями #96–#121; проходят 123 файла тестов.
11:44Открыт PR #119 для дефекта 15
11:44Открыт PR #120 для дефекта 15
11:44Открыт PR #121 для дефекта 15
11:18Открыт PR #118 для дефекта 19
10:28Открытый вопрос 12 подтверждён (MATH-159) → дефект 19
10:09MATH-175: подтверждено, безвредно (видно только AddressSanitizer, рабочая память меньше примерно 1000 слов); остаётся в «Открытых вопросах», без PR.
09:10Ветка correctness репозитория ispacex/anupq продвинута до 23541ab: master со всеми исправлениями #96–#117; проходят 119 файлов тестов.
09:07Открыт PR #117 для дефекта 13
09:05Открыт PR #116 для дефекта 16
09:03Открыт PR #114 для дефекта 17
09:03Открыт PR #115 для дефекта 24
08:17Открыт PR #113 для дефекта 22
08:10Открыт PR #112 для дефекта 11
08:02Открыт PR #111 для дефекта 14
07:50Открытый вопрос 15 опровергнут (MATH-162) — см. Открытые вопросы
07:50MATH-172 подтверждён → дефект 24
07:38Открыт PR #110 для дефекта 10
07:32Открыт PR #109 для дефекта 18
07:25Открыт PR #108 для дефекта 21
07:22Открыт PR #107 для дефекта 23
07:21Открытый вопрос 10 подтверждён (MATH-157) → дефект 22
07:16Открытый вопрос 3 подтверждён (MATH-150) → дефект 16
07:08Открыт PR #106 для дефекта 12
07:06Открытый вопрос 9 подтверждён (MATH-156) → дефект 13
07:01Открытый вопрос 13 подтверждён (MATH-160) → дефект 15
06:55MATH-163 подтверждён → дефект 11
06:54Открыт PR #105 для дефекта 20
06:51Открытый вопрос 14 подтверждён (MATH-161) → дефект 10
06:42Открытый вопрос 4 подтверждён (MATH-151) → дефект 18
06:41Открытый вопрос 6 опровергнут (MATH-153) — см. Открытые вопросы
06:41Открытый вопрос 11 подтверждён (MATH-158) → дефект 14
06:39Открытый вопрос 1 подтверждён (MATH-148) → дефект 21
06:39Найдено при проверке MATH-148: MATH-175
06:20Найдено при проверке MATH-154: MATH-172
06:18Открытый вопрос 7 подтверждён (MATH-154) → дефект 23
06:11Открытый вопрос 2 подтверждён (MATH-149) → дефект 17
06:00Открытый вопрос 8 подтверждён (MATH-155) → дефект 20
06:00Найдено при проверке MATH-152: MATH-163
05:58Открытый вопрос 5 подтверждён (MATH-152) → дефект 12
17.10.2026
23:02Сайт: на PR #96–#104 даны ссылки из дефектов (коммит сайта c9d9ae8).
23:01Открыты PR #96, #97, #98, #99, #100, #101, #102, #103, #104 для дефектов 1–9
22:28Аудит опубликован (коммит сайта 43e5f26): дефекты 1–9, сверки и 15 подозреваемых дефектов на странице «Открытые вопросы».