Manuscript Hawk04-C@1 · Hawk04-C-v1.tex · section · 94d46352
Four same-model endpoint obligations
Quantitative certificates and the additional endpoint obligations › Four same-model endpoint obligations · lines 1797–1807
The factorwise embeddings cannot move an inaccessible logical register into . That would change the access task rather than certify it. No gravitational model satisfying Definition def:endpoint is constructed in this manuscript. The theorem is a sufficient conditional certificate, not a claim that its hypotheses have been discharged or a universal characterization of all possible evaporation descriptions.