History
When each finding was added and where its fix stands. Times are UTC, taken from the site's commits, the tracker issues (keys MATH-…) and the pull requests; newest first.
Findings and their pull requests
Upstream state of the pull requests as of 18.10.2026.
Events
| time (UTC) | event |
|---|---|
| 18.10.2026 | |
| — | Site: second-pass findings 10–24, Open items reduced to two documented risks and a refuted list, Russian version, this history page. |
| 22:36 | Branch correctness fast-forwarded to b7deefa: the union-find orbit computation for insoluble automorphism groups (ispacex/anupq#2). A speed-up, not a fix: the output is byte-for-byte the same as on cdce1dc (descendants of (Z/2)^d, (Z/3)^d, class-2 groups with insoluble Aut, 360 SmallGroups of order 64–256); peak memory of pq drops from 137 MB to 20 MB on Z/4×(Z/2)^6 and from 1.92 GB to 1.27 GB on (Z/2)^5 with step 13; 123 test files pass. |
| 14:20 | Order-128 standard presentation check rerun finished: all 2328 groups get pairwise different presentations, and a random re-presentation of each gets the same one, on both master and correctness (0 failures; master 1947 s user time). |
| 12:10 | Branch correctness of ispacex/anupq fast-forwarded to cdce1dc: master with all fixes #96–#121; 123 test files pass. |
| 11:44 | Pull request #119 opened for finding 15 |
| 11:44 | Pull request #120 opened for finding 15 |
| 11:44 | Pull request #121 opened for finding 15 |
| 11:18 | Pull request #118 opened for finding 19 |
| 10:28 | Open item 12 confirmed (MATH-159) → finding 19 |
| 10:09 | MATH-175 confirmed, harmless (only AddressSanitizer sees it, workspace below about 1000 words); stays on Open items, no pull request. |
| 09:10 | Branch correctness of ispacex/anupq fast-forwarded to 23541ab: master with all fixes #96–#117; 119 test files pass. |
| 09:07 | Pull request #117 opened for finding 13 |
| 09:05 | Pull request #116 opened for finding 16 |
| 09:03 | Pull request #114 opened for finding 17 |
| 09:03 | Pull request #115 opened for finding 24 |
| 08:17 | Pull request #113 opened for finding 22 |
| 08:10 | Pull request #112 opened for finding 11 |
| 08:02 | Pull request #111 opened for finding 14 |
| 07:50 | Open item 15 refuted (MATH-162) — see Open items |
| 07:50 | MATH-172 confirmed → finding 24 |
| 07:38 | Pull request #110 opened for finding 10 |
| 07:32 | Pull request #109 opened for finding 18 |
| 07:25 | Pull request #108 opened for finding 21 |
| 07:22 | Pull request #107 opened for finding 23 |
| 07:21 | Open item 10 confirmed (MATH-157) → finding 22 |
| 07:16 | Open item 3 confirmed (MATH-150) → finding 16 |
| 07:08 | Pull request #106 opened for finding 12 |
| 07:06 | Open item 9 confirmed (MATH-156) → finding 13 |
| 07:01 | Open item 13 confirmed (MATH-160) → finding 15 |
| 06:55 | MATH-163 confirmed → finding 11 |
| 06:54 | Pull request #105 opened for finding 20 |
| 06:51 | Open item 14 confirmed (MATH-161) → finding 10 |
| 06:42 | Open item 4 confirmed (MATH-151) → finding 18 |
| 06:41 | Open item 6 refuted (MATH-153) — see Open items |
| 06:41 | Open item 11 confirmed (MATH-158) → finding 14 |
| 06:39 | Open item 1 confirmed (MATH-148) → finding 21 |
| 06:39 | Found while checking MATH-148: MATH-175 |
| 06:20 | Found while checking MATH-154: MATH-172 |
| 06:18 | Open item 7 confirmed (MATH-154) → finding 23 |
| 06:11 | Open item 2 confirmed (MATH-149) → finding 17 |
| 06:00 | Open item 8 confirmed (MATH-155) → finding 20 |
| 06:00 | Found while checking MATH-152: MATH-163 |
| 05:58 | Open item 5 confirmed (MATH-152) → finding 12 |
| 17.10.2026 | |
| 23:02 | Site: pull requests #96–#104 linked from the findings (site commit c9d9ae8). |
| 23:01 | Pull requests #96, #97, #98, #99, #100, #101, #102, #103, #104 opened for findings 1–9 |
| 22:28 | Audit published (site commit 43e5f26): findings 1–9, the differential checks, and 15 suspected defects on Open items. |