Access-preserving endpoint certificates

Definition def:four gives sufficient data for the theorem. It does not derive any of them from the outgoing occupation law. It is the finite form of the conditional endpoint framing documented in CheungEn07B,CheungHawk04B.

The raw and embedded access channels are

Similarly, ${\hat{\mathcal{E}}}_t={\mathrm{Tr}}_{R_{\ast }}{\mathrm{Ad}}_{{\hat{V}}_t}$.