Это было бы легче объяснить на примере с CA выше.

Путешествует в прошлое только одна живая клетка. У нее только одно возможное состояние. Это легко формализовать.

Если отправлять в прошлое некий паттерн подходящий под какие-то критерии (например 5 живых клеток в 3х3 квадрате), то становится сложнее получить последовательность переходов которые имеет результатом этот паттерн в этом одном состоянии (из возможны 126 продолжая пример). Петля становится более ограниченной полезности? менее привлекательной к использованию?

Если убрать это ограничение то появляются другие проблемы

P1 -> blah blah blah -> P2

P1 & P2 -> blah blah blah -> P2.1 & P3

Эта петля не согласована (если P2 не заставляет P1 стать P2, P2.1 != P2), потому что у человека очень много состояний и вероятность что они совпадут мала. Т.е. или такой маховик почти всегда дает осечки или он убивает почти всех людей или типа того???

Можно пофиксить тем что есть некий порог после которого состояние считаются "достаточно близкими" чтобы постулировать что процесс использования маховика подменят тебя близкой версией, и в прошлое отправляется не P2.1 а P2. Это про "кликает"

Можно пофиксить тем что вычислять петлю до стабилизации, но я не рассматриваю это. (потому что это можно эксплойтить для дешевых вычислений)



первое "blah blah blah" не обязательно должно быть идентично второму "blah blah blah". Точнее они даже не могут быть идентичными с точки зрения, к примеру, мужика который видит все на планете, но сидит в тюрьме и не может ни на что влиять. С твоей точки зрения да они могут быть идентичными. Так что первое "blah blah blah" отбрасывается, это становится гипотетическим будущем в котором твой маховик дал осечку