User contributions for ADucharme

2 February 2026

• 19:0519:05, 2 February 2026 diff hist +288 m BB(2,6) →Phase 2: left-align new decider columns current
• 19:0419:04, 2 February 2026 diff hist +326 m BB(2,6) →Phase 2: add processing time to Stage 4, add row to Stage 3 Tag: Visual edit
• 18:5518:55, 2 February 2026 diff hist +2,873 BB(2,6) →Phase 2: added Stage 4 table Tag: Visual edit

1 February 2026

• 05:1705:17, 1 February 2026 diff hist +117 TMBR: January 2026 →Holdouts: updated 2x6 progress Tag: Visual edit
• 05:1105:11, 1 February 2026 diff hist +154 TMBR: January 2026 add to-do for mxdys code release Tag: Visual edit

29 January 2026

• 07:5707:57, 29 January 2026 diff hist +290 BB(2,5) →Holdouts: moved newly solved TM to Formal proof section, updated date of last change at top of list Tag: Visual edit

17 January 2026

• 21:1021:10, 17 January 2026 diff hist +50 m BB(2,6) →Stage 3: correcting text alignment in table
• 21:1021:10, 17 January 2026 diff hist +217 BB(2,6) →Stage 3: add new row of 2x6 Enumerate.py results Tag: Visual edit
• 20:4620:46, 17 January 2026 diff hist +105 BB(7) →Phase 2: add Stage 6 link to proven TMs Tag: Visual edit
• 20:2420:24, 17 January 2026 diff hist +192 m BB(7) →Phase 2: make all left-most-column text center-justified to match first portion of table and "Explorations after Phase 1" table
• 20:1920:19, 17 January 2026 diff hist +133 BB(7) →Phase 2: make Stage 6 cumulatives, fix stage 5 and overall cumulative Tag: Visual edit
• 20:0920:09, 17 January 2026 diff hist +25 m BB(7) →Phase 2: center Stage 6 title
• 20:0820:08, 17 January 2026 diff hist +307 BB(7) →Phase 2: added new 7x2 filtering results, add a Stage to table Tag: Visual edit

14 January 2026

• 06:2106:21, 14 January 2026 diff hist +278 BB(7) →Phase 2: enum bm18 table update Tag: Visual edit

13 January 2026

• 06:4406:44, 13 January 2026 diff hist 0 m BB(2,6) →Stage 3: 6 -> 8 Tag: Visual edit

11 January 2026

• 01:3401:34, 11 January 2026 diff hist +279 BB(7) →Phase 2: new holdout reduction Tag: Visual edit

22 December 2025

• 18:3918:39, 22 December 2025 diff hist +252 BB(7) →Phase 2: added new enumerate progress Tag: Visual edit

12 December 2025

• 19:5819:58, 12 December 2025 diff hist 0 BB(2,6) →Stage 3: updating bm3,4 computation time per TM Tag: Visual edit
• 19:4919:49, 12 December 2025 diff hist +102 m BB(2,6) →Stage 3: text alignment
• 19:4819:48, 12 December 2025 diff hist +406 BB(2,6) →Stage 3: added missing rows Tag: Visual edit

26 October 2025

• 22:2022:20, 26 October 2025 diff hist −2 BB(4,3) →Top Halters: updating discoverer of top 4x3 halters current Tag: Visual edit

23 October 2025

• 18:2918:29, 23 October 2025 diff hist −99 m BB(4,3) →Top Halters: remove 10^^10 halter from Top Halter list Tag: Visual edit

13 October 2025

• 05:4305:43, 13 October 2025 diff hist +49 m BB(2,6) →Stage 3: left-align in table
• 05:4205:42, 13 October 2025 diff hist +240 BB(2,6) →Stage 3: include lr_enum_continue 100M Tag: Visual edit
• 00:0900:09, 13 October 2025 diff hist −94 m BB(3,3) →Holdouts: clean up basis list description Tag: Visual edit

12 October 2025

• 23:3023:30, 12 October 2025 diff hist +215 BB(3,3) →Certified Progress: Terry pipeline specifics Tag: Visual edit
• 23:2223:22, 12 October 2025 diff hist +87 m BB(3,3) →Certified Progress: date correction Tag: Visual edit
• 23:1823:18, 12 October 2025 diff hist −140 BB(3,3) →Certified Progress: reorganize pre-2025 progress paragraph Tag: Visual edit
• 23:0623:06, 12 October 2025 diff hist −22 m BB(3,3) →Certified Progress: change Terry Ligocki pipeline paragraph Tag: Visual edit

6 October 2025

• 17:0817:08, 6 October 2025 diff hist +1 BB(2,6) →Top Halters: added Peacemaker's 10^^20k 2x6 halter Tag: Visual edit

30 September 2025

• 23:5723:57, 30 September 2025 diff hist +191 BB(3,3) moved 867 out of Holdouts section since it was proved and no one noticed a month ago Tag: Visual edit
• 21:5121:51, 30 September 2025 diff hist −126 BB(3,3) →Holdouts: moved Rigorously Proven subsection fully to Interesting Rocq-Solved TMs Tag: Visual edit
• 21:3721:37, 30 September 2025 diff hist +196 TMBR: September 2025 →Holdouts: updated details for 2x6, 4x3 reductions Tag: Visual edit
• 21:2921:29, 30 September 2025 diff hist −24 m TMBR: September 2025 →Holdouts: other domain language change Tag: Visual edit
• 21:2921:29, 30 September 2025 diff hist 0 TMBR: September 2025 →Holdouts: update 4x3 reduction table, Details Tag: Visual edit
• 21:2121:21, 30 September 2025 diff hist +672 TMBR: September 2025 add 3x3 month blurb Tag: Visual edit
• 03:0803:08, 30 September 2025 diff hist +127 BB(4,3) →Top Halters: updating top 10 found by comprehensive search Tag: Visual edit
• 02:1302:13, 30 September 2025 diff hist +48 m BB(4,3) →Top Halters: TM templating
• 02:1102:11, 30 September 2025 diff hist +100 BB(7) →Phase 2: update stage 4 documentation Tag: Visual edit

28 September 2025

• 22:1522:15, 28 September 2025 diff hist +4 BB(7) →Top Halters: new unique top halter Tag: Visual edit
• 20:5520:55, 28 September 2025 diff hist +217 BB(4,3) →Top Halters: clarifying section structure Tag: Visual edit
• 20:3820:38, 28 September 2025 diff hist +699 BB(4,3) →Top Halters: added new top* 4x3 halters Tag: Visual edit

22 September 2025

• 16:4816:48, 22 September 2025 diff hist 0 BB(2,6) →Top Halters: correcting truncation Tag: Visual edit

21 September 2025

• 05:2405:24, 21 September 2025 diff hist −142 BB(2,6) →Top Halters: confirmed discoverers of current top 10 2x6 machines Tag: Visual edit

13 September 2025

• 19:1819:18, 13 September 2025 diff hist 0 BB(7) →Phase 2: making "Input Holdout TMs" column consistent Tag: Visual edit

10 September 2025

• 01:4601:46, 10 September 2025 diff hist −1 BB(2,6) →Top Halters: new top 10 halter Tag: Visual edit

8 September 2025

• 19:1719:17, 8 September 2025 diff hist +196 BB(2,6) →Filtering: adding last of Phase 2 of filtering to 2x6 table Tag: Visual edit

5 September 2025

• 02:5502:55, 5 September 2025 diff hist +1 m TMBR: August 2025 navbar edit Tag: Visual edit

4 September 2025

• 00:5100:51, 4 September 2025 diff hist +49 TMBR: August 2025 mock-up of automatic pointer to adjacent TMBRs Tag: Visual edit

2 September 2025

• 07:4307:43, 2 September 2025 diff hist +1,415 BB(2,6) 2x6 filtering Phase 2 progress Tag: Visual edit