I have a Feature Request. Is it possible to list the Reason that a TM was classified the way it was on individual machine pages? This could be as simple as the Decider which “proved” it, but it would be even better to include details (like the number of backsteps needed for backtracking or the start time and period of the cycle for Cyclers, etc.). This seems necessary for reproducibility, understanding and collaboration.
I can imagine other metadata about individual TMs could also be useful (what Zoology they are part of, links to forum posts for that specific machine, etc.).
In my case, I am specifically looking at https://bbchallenge.org/3810716 (Skelet #10) which y’all list as proven infinite! I have not been able to prove it infinite with my system and I’d love to understand how you did it! (Or check if there was, perhaps, a mistake).
Decided machines are given in big index files: http://docs.bbchallenge.org/bb5_decided_indexes/
These files contain the big endian 4-byte representations of IDs in the DB of the machines that were decided by the decider, in increasing order of ID.
As it is not affordable to load those files in memory in my VPS setup, in order to implement your feature one has to implement a dichotomy of file seek that looks if the requested ID is in one of these files and returns the file name. Although it is standard algorithmic I have not have had the time to implement and test it.
If you had the time to wrap your head around it I would be happy to talk about this in more details.
The particular machine that you point at was decided by [Decider] Backward reasoning. Basically, any machine that is not a Cycler/Translated Cycler so far has been decided by Backward Reasoning (depth 300) .
EDIT: There seems to be a bug, I have temporarily disabled the feature and will debug it tomorrow.
The bug is fixed! I learnt to that occasion the funny thing that http://bbchallenge.org/47260245 had been decided by both [Decider] Backward reasoning and [Decider] Translated cyclers (machine index present in two files, this can happen in some rare instances where we rolled-back the undecided index). The feature shows just one decider (whichever the backend finds first while looking through index files) as being decided by multiple deciders will be a rare event.
Is it intentional that Decider is shown for Undecided machines? Ex: https://bbchallenge.org/12200729 I wouldn’t have expected that, what does it mean? That this is the last Decider that attempted to categorize this machine?