BB(3,3): Revision history

30 September 2025

• curprev 23:5723:57, 30 September 2025‎ ADucharme talk contribs‎ 11,192 bytes +191‎ moved 867 out of Holdouts section since it was proved and no one noticed a month ago Tag: Visual edit
• curprev 21:5121:51, 30 September 2025‎ ADucharme talk contribs‎ 11,001 bytes −126‎ →‎Holdouts: moved Rigorously Proven subsection fully to Interesting Rocq-Solved TMs Tag: Visual edit

27 September 2025

• curprev 21:0121:01, 27 September 2025‎ Polygon talk contribs‎ 11,127 bytes +19‎ →‎Unsolved: Added #758 being a potential Cryptid
• curprev 16:1916:19, 27 September 2025‎ Polygon talk contribs‎ 11,108 bytes +20‎ Added Category:BB(3,3)

31 August 2025

• curprev 10:4610:46, 31 August 2025‎ Polygon talk contribs‎ 11,088 bytes 0‎ →‎Top Halters: 10 -> 20
• curprev 10:4510:45, 31 August 2025‎ Polygon talk contribs‎ 11,088 bytes +615‎ →‎Top Halters: Extended list to top 20 (consistency with other domain pages)

28 August 2025

• curprev 07:2707:27, 28 August 2025‎ RobinCodes talk contribs‎ 10,473 bytes +259‎ Added mxdys Aug 27 10-TM Rocq-certified holdout list to the section above "Holdouts" Tag: Visual edit

27 August 2025

• curprev 18:3018:30, 27 August 2025‎ RobinCodes talk contribs‎ 10,214 bytes −13‎ Updated mxdys progress on BB(3,3) Rocq. Tag: Visual edit
• curprev 17:2517:25, 27 August 2025‎ ADucharme talk contribs‎ 10,227 bytes +233‎ describe holdout count Tag: Visual edit
• curprev 17:1417:14, 27 August 2025‎ ADucharme talk contribs‎ 9,994 bytes +356‎ →‎Holdouts: update holdouts based on mxdys progress Tag: Visual edit

25 August 2025

• curprev 17:2017:20, 25 August 2025‎ ADucharme talk contribs‎ m 9,638 bytes +5‎ →‎Interesting Solved TMs: change name again Tag: Visual edit
• curprev 17:1817:18, 25 August 2025‎ ADucharme talk contribs‎ m 9,633 bytes −4‎ →‎Interesting Final Holdouts: rename section Tag: Visual edit
• curprev 09:1309:13, 25 August 2025‎ Int-y1 talk contribs‎ m 9,637 bytes +7‎ coq -> rocq
• curprev 07:3607:36, 25 August 2025‎ ADucharme talk contribs‎ m 9,630 bytes −1‎ →‎Solved with moderate rigor: reorder so lexicographically similar TMs are next to each other Tag: Visual edit
• curprev 07:1307:13, 25 August 2025‎ ADucharme talk contribs‎ 9,631 bytes −559‎ change basis for Holdout section to 8/25 mxdys release. Move some solved TMs to Interesting Final Holdouts Tag: Visual edit
• curprev 06:3806:38, 25 August 2025‎ Int-y1 talk contribs‎ 10,190 bytes +161‎ move 400 to solved
• curprev 06:2906:29, 25 August 2025‎ ADucharme talk contribs‎ m 10,029 bytes 0‎ →‎Interesting Final Holdouts: typo correction, hattip @RobinCodes Tag: Visual edit

24 August 2025

• curprev 22:3122:31, 24 August 2025‎ ADucharme talk contribs‎ m 10,029 bytes −25‎ →‎Holdouts: change reference to 400=494 Tag: Visual edit
• curprev 22:2622:26, 24 August 2025‎ ADucharme talk contribs‎ m 10,054 bytes +25‎ →‎Holdouts: TM templating
• curprev 22:2522:25, 24 August 2025‎ ADucharme talk contribs‎ 10,029 bytes +1,208‎ change basis for Holdouts section from Justin's 2024 list to mxdys's 2025 list. Create section "Interesting Final Holdouts" Tag: Visual edit

11 August 2025

• curprev 10:4910:49, 11 August 2025‎ Polygon talk contribs‎ 8,821 bytes +27‎ Added link to "champions"

10 August 2025

• curprev 23:4323:43, 10 August 2025‎ Polygon talk contribs‎ 8,794 bytes +1‎ Prepare Category move of BB-domains

25 June 2025

• curprev 00:2100:21, 25 June 2025‎ Fr tho talk contribs‎ 8,793 bytes −54‎ Update formatting Tag: Visual edit

17 May 2025

• curprev 12:0412:04, 17 May 2025‎ Fr tho talk contribs‎ m 8,847 bytes −10‎ Style
• curprev 11:2911:29, 17 May 2025‎ Fr tho talk contribs‎ 8,857 bytes +127‎ Update halters list format for consistency
• curprev 11:2111:21, 17 May 2025‎ Fr tho talk contribs‎ 8,730 bytes −68‎ Update

20 March 2025

• curprev 22:0022:00, 20 March 2025‎ Tjligocki talk contribs‎ 8,798 bytes +190‎ Added a sentence to update my work on the 3x3 holdouts
• curprev 19:4319:43, 20 March 2025‎ Tjligocki talk contribs‎ m 8,608 bytes +1‎ Changed "tligocki" to "tjligocki"

3 March 2025

• curprev 20:3520:35, 3 March 2025‎ ADucharme talk contribs‎ m 8,607 bytes +13‎ →‎Unsolved: added name of TM Tag: Visual edit

27 February 2025

• curprev 22:2122:21, 27 February 2025‎ C7X talk contribs‎ 8,594 bytes 0‎ Year seems wrong →‎Holdouts
• curprev 15:2315:23, 27 February 2025‎ Sligocki talk contribs‎ m 8,594 bytes −2‎ →‎Certified Progress Tag: Visual edit
• curprev 07:4707:47, 27 February 2025‎ ADucharme talk contribs‎ 8,596 bytes +503‎ updated text to reflect solved machines from Coq deciders. Major reorganization of Holdouts section, including removing any notion of "groups" of TMs. Tag: Visual edit
• curprev 07:1207:12, 27 February 2025‎ ADucharme talk contribs‎ m 8,093 bytes +25‎ →‎Certified Progress: reformatted previous holdout history Tag: Visual edit
• curprev 06:5906:59, 27 February 2025‎ ADucharme talk contribs‎ m 8,068 bytes +3‎ →‎Holdouts: stopped calling machine 637 "related" to group 1 because it's not connected in the same way all the Group 1 machines are Tag: Visual edit

6 February 2025

• curprev 18:3218:32, 6 February 2025‎ Sligocki talk contribs‎ 8,065 bytes +23‎ Add domain category Tag: Visual edit

20 January 2025

• curprev 18:4518:45, 20 January 2025‎ Peacemaker II talk contribs‎ m 8,042 bytes +8‎ No edit summary Tag: Visual edit
• curprev 16:1016:10, 20 January 2025‎ Peacemaker II talk contribs‎ 8,034 bytes +25‎ No edit summary

14 January 2025

• curprev 06:0106:01, 14 January 2025‎ ADucharme talk contribs‎ m 8,009 bytes −16‎ →‎Holdouts: formatting changes Tag: Visual edit

10 January 2025

• curprev 16:3916:39, 10 January 2025‎ ADucharme talk contribs‎ 8,025 bytes +116‎ →‎Holdouts: 279 comment fix to add link to long. analysis Tag: Visual edit
• curprev 08:1108:11, 10 January 2025‎ ADucharme talk contribs‎ 7,909 bytes +244‎ →‎Holdouts: Found Coq proof for TM 400 in discord, moved TM to solved section Tag: Visual edit
• curprev 07:5607:56, 10 January 2025‎ ADucharme talk contribs‎ m 7,665 bytes +136‎ →‎Holdouts: 867 links Tag: Visual edit
• curprev 07:4607:46, 10 January 2025‎ ADucharme talk contribs‎ m 7,529 bytes +322‎ →‎Holdouts: 637 links Tag: Visual edit
• curprev 07:4307:43, 10 January 2025‎ ADucharme talk contribs‎ m 7,207 bytes +19‎ →‎Holdouts: Warning statement on 279 Tag: Visual edit
• curprev 07:3007:30, 10 January 2025‎ ADucharme talk contribs‎ 7,188 bytes +22‎ →‎Holdouts: Corrected myself, moved Rae and Peacemaker's convo from 818 to 816 Tag: Visual edit
• curprev 07:2807:28, 10 January 2025‎ ADucharme talk contribs‎ 7,166 bytes +293‎ →‎Holdouts: Added description of dependencies of Group 1 non-halting machines Tag: Visual edit
• curprev 07:2107:21, 10 January 2025‎ ADucharme talk contribs‎ 6,873 bytes −11‎ →‎Holdouts: changed the label on the members of the holdout list who have a coq proof or were decided and received a certificate Tag: Visual edit
• curprev 07:1607:16, 10 January 2025‎ ADucharme talk contribs‎ m 6,884 bytes +290‎ →‎Holdouts: 642/832 links Tag: Visual edit
• curprev 07:0607:06, 10 January 2025‎ ADucharme talk contribs‎ m 6,594 bytes +122‎ →‎Holdouts: 650 machine proof link Tag: Visual edit
• curprev 07:0407:04, 10 January 2025‎ ADucharme talk contribs‎ m 6,472 bytes +254‎ →‎Holdouts: Added Daniel's expert discussion of machine 543 Tag: Visual edit
• curprev 06:5906:59, 10 January 2025‎ ADucharme talk contribs‎ m 6,218 bytes +150‎ →‎Holdouts: added link to discussion about 818 Tag: Visual edit