Stage 5: endpoint obligations and order of limits

The endpoint statement continues the access-preserving construction in Hawk04-A/B/C CheungHawk04A,CheungHawk04B,CheungHawk04C. A comparison unitary that swaps a still-inaccessible logical factor into the radiation output is not an access-preserving identification.