Лунатик и Марионетка, две роли которые официально не знают свой цвет, оперируют внутри набора правил, которые им позволяют вычислить свой цвет 1. Я вытянул жетон демона - мои убийства не проходят, мои миньоны не признают меня, моими блефами представляются другие люди —> я лунатик (или же: Я вытянул импа - ночью мне сказали что я стал фангу - мертвый фангу не признаётся что он фангу, мои убийства не проходят —> я лунатик) 2. Я вытянул синюю роль - моя информация противоречит всему остальному городу - я сижу рядом с подозрительным игроком, которого многие считают демоном —> я марионетка Т.е. твой реальный цвет всё ещё вычисляемый, проще или сложнее в зависимости от ситуации. Фейковый прыжок фангу - легальный манёвр потому что он тоже оперирует в рамках обычных и вычисляемых правил лунатизма. Красная команда должна приложить много усилий, чтобы лунатик не понял свой лунатизм — тогда они просто молодцы и заслужили результата, который получили. С гипотетическим миром где у нас дранк думает что он красный - такой вычисляемости нет. Игроку невозможно дифференцировать между собой как красным горожанином или фейково красным дранком = игроку невозможно понять свою настоящую команду = ОЧЕНЬ ПЛОХО. Тоже самое для настоящего красного горожанина — он теперь тоже не знает своего настоящего цвета: а вдруг он просто дранк, которому СТ наврал? Т.е. мы обманываем аж двух игроков по поводу их цвета без возможности дифференцировать между друг другом А так как это возможно только в сценарии с БХ, мы можем оказаться в ситуации где в городе бегает настоящий красный горожанин и фейковый красный дранк = 2 игрока, отнятые у синей команды и играющие за красную

Я БХ. Мне показывают пинги очевидно синих персонажей. Что-то не то. Походу я Дранк. А значит и мой красный алаймент - фейк. Вычисляемо абсолютно всё.

Теорема Гёделя с тобой несогласна.