Manuscript En04-A@1 · En04-A.tex · section · bab77211
Preservation, exact recovery, and response witnesses
Preservation, exact recovery, and response witnesses · lines 440–446
The map returns from . It neither
deletes the code nor asserts that alone carries a recoverable
copy. This is the restore structure in
CheungHawk04A (thm:global).
Nearby in this section
- theorem: Theorem: Complete preservation and global restore
- theorem: Theorem: Exact recovery, constancy, and observable compression
- section: Preservation, exact recovery, and response witnesses
- corollary: Corollary: The precise no-hiding conclusion
- lemma: Lemma: Constancy and quantitative witnesses
- remark: Remark: Response does not locate the whole diary