Manuscript En07-B@1 · En07-B.tex · section · 45dff4a1
Access-preserving endpoint construction
Access-preserving endpoint construction · lines 1285–1292
The endpoint is a construction obligation. This section states a sufficient finite-interface contract and proves what follows if that contract is met. It does not assert that it has been met in a gravitational model.
Nearby in this section
- definition: Definition: Access-preserving comparison
- section: Access-preserving endpoint construction
- lemma: Lemma: Local embeddings do not change unrestricted recovery or complete leakage
- definition: Definition: Four same-model endpoint obligations
- section: Access-preserving endpoint construction
- theorem: Theorem: Access-preserving endpoint certificate
- corollary: Corollary: Pure complete residual
- corollary: Corollary: Conditional evaporation implication