1.
Cначала я просто скринил криопротекторы лучше имеющихся.
Потом понял что это не имеет смысла, потому что не установлены параметры требуемого раствора и процедуры в целом. без этого не ясно что именно считать "лучше".

2.
Потом переключился на попытку установить эти параметры с помощью графа обратимого сохранения человека сводящегося к невозможностям.
- первые 180 раундов мы искали инварианты - доказать невозможность чего-нибудь прямо внутри шага и таким образом доказать невозможность обратимого криосохранения в целом
- спустя 180 раундов в каждом из которых участвовало по 5-10 агентов и граф разросся до нескольких тысяч точек я не получил запрета достаточного для доказательства невозможности обратимого сохранения внутри шагов, и перешел на невозможности между шагами, требующие совместимой истории этапов.

3.
Это привело к выводу о том что движение потребовалось осуществлять в 2 стороны по графу:
- прямая - симуляция - то есть какие состояния достижимы из заданных начальных условий при допустимых воздействиях
- обратная - ограничение - из каких состояний ещё можно достичь требуемого восстановления
сейчас прошел 221 раунд.

4.
Изначально я полагал что можно считать что называется топ-даун. От самых верхнеуровневых вещей Вниз и дробить точки в графе только если в них отличается хоть один параметр.
Сейчас я вижу что выбранного уровня описания недостаточно для замыкания связанных процессов - так мы дело не закроем потому что геометрия повреждения и функциональные носители должны быть связаны общей динамикой.

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

Невозможность может быть доказано на одном объекте с единым состоянием совмещающим все исследуемые процессы и единой историей, потому что разные законы приводят к изменениям одного и того же объекта которые либо гасят друг друга, либо усиливают и превращаются в повреждения.

вот такие новости