No guessing, proven by a solver
Every expedition board is checked by a solver that only uses logic. Its seed is searched in advance and stored. A golden test over 66 boards protects the solver from any change in behaviour, even when it is being made faster.




