Status: IN
The while loop in `find_final_value` always terminates because `original` strictly increases (doubles) each iteration and the lookup set has a finite maximum value.
Source: entries/2026/06/06/keep-multiplying-found-values-by-two-solution.md