что такое РТ? в википедии сказано что-то свойство выражения (expression) заключающееся в том что замена выражения на его значение и наоборот не меняет поведение программы но что есть поведение программы?
Ты можешь сказать, что ты сделаешь дамп физической памяти и он должен совпасть. Или дамп виртуальной памяти. Или дамп хипа. Или дамп хипа, сериализованный в жейсан и упорядоченный. Или же хэшсумма файла на диске.