Conditional gravitational recovery

If $F={\mathcal{J}}_{\mathrm{out}}{\mathcal{G}}_T$ satisfies $d_{\diamond }(F,{\mathcal{E}}_T)\le e_{\mathrm{dict}}$, then

by postprocessing contraction and Theorem thm:microrecovery. This implication does not supply its physical premises.

A global comparison isometry requires separate accessible-output compatibility. Unbounded-generator comparisons require domains and controlled truncation. Typed implementation, access, decoder, and dictionary discrepancies are charged once at their respective interfaces.