The unchanged gravitational conditional

This is the conditional implication in Hawk04-B CheungHawk04B (cor:gravity). The endpoint in (iii) is an additional construction; it does not follow from finite-time unitarity or finite program termination.

No output identification may move a diary-bearing inaccessible factor into accessible radiation merely to obtain recovery. Access-preserving identifications respect the named factors.