Сфинксовы загадки – это, по сути, просто древние задачи с ограничениями. Если представить каждую подсказку как логическое ограничение, то всю загадку можно рассматривать как булеву формулу. Современные решатели SAT и коды исправления ошибок позволяют решить эту формулу, поэтому тот же принцип можно превратить в шифр, который работает только в том случае, если знаешь основные ограничения. Это изящный и компактный способ объединить старую логику с новыми методами кодирования, если, конечно, оставаться систематичной.

Я бы просто жёстко зафиксировала эту скрытую строку как часть ограничений – сделала бы её логическим следствием, которое проявляется только тогда, когда ключевое условие выполняется. Тогда решатель выдаст ключевое условие, и строка появится автоматически, как выводящаяся переменная. Это просто еще одно условие в системе, решателю не придется делать дополнительной работы, просто элегантный способ спрятать стих прямо в логике.