глубомер импульсно-индукционного типа.

Исходные условия:
1. глубина бодрствующего человека равна нулю.
2. погружение в сон увеличивает глубину на единицу.
3. пробуждение уменьшает глубину на единицу.
0. квантовые эффекты игнорируем - не тот "масштаб событий".

Инженерные трудности:
1. сон без предыстории невозможен, и, таким образом,
2. испытатель-во-сне ни в каком смысле не продолжает испытателя-спящего.

Это означает, что глубомер во сне (Ба) не тождественен глубомеру спящего (Бр). Это два разных прибора (как два стоящих на лабораторном столе амперметра). Бр порождается ветвлением (fork) от Ба.

При погружении (в пределе по времени слева) состояния Ба и Бр идентичны (это следует из принципа относительности Лао для тривиального случая, когда испытатель не замечает, что уснул).
Это означает, что различие состояний Ба и Бр после ветвления (возможно, не в пределе по времени справа, а с некоторым запозданием) соответствует различию состояний испытателя-спящего и испытателя-во-сне.

Глубомер спящего показывает то же, что показывал до погружения.
Это значит, что он или не регистрирует изменение состояния испытателя, или игнорирует его.
Для нас важно, что состояния двух глубомеров после погружения рассинхронизированы в пределе по времени справа, т.е. состояние Бр имеет причиной только:
- состояние испытателя до погружения;
- состояние испытателя в предыстории;
- состояние испытателя, осознающего предысторию.

Последнее наиболее интересно; при этом важно отличить его от состояния испытателя, осознающего обстановку после пробуждения.
TBC