Status: IN
After the for-loop in DI String Match, `low == high` holds unconditionally (the loop consumes n values from a pool of n+1), so the final append always places exactly the one remaining unused value.
Source: entries/2026/06/06/di-string-match-solution.md
JSON