λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Hawk04-B@2 · Hawk04-B.tex · section · ba3b0713

Conclusions and release boundary

Conclusions and release boundary · lines 2389–2451

Back to manuscript

The proved results are:

  1. complete unitary code preservation and the global restore map (eq:restore);

  2. exact recovery precisely when the complete complement is constant, with decoder (eq:decoder);

  3. reference-preserving CPTP semantics and termination for the declared finite acyclic fragment;

  4. the record-only obstruction ;

  5. equality of unobserved residual readout-and-drop with the pre-existing radiation marginal;

  6. a complete readout dilation retaining the omitted information;

  7. finite-time complete-channel approximation and separate qubit dictionaries for the regulated microscopic model;

  8. dimension-explicit quantum-return certificates and subsequent record comparisons;

  9. the exact four-Majorana formulas (eq:Rerror)–(eq:exactleak);

  10. access-preserving endpoint continuity and fixed-proxy recurrence.

PlanImplemented result and boundary
ACoherent preservation, local quantum decoding, and optional terminal observation have distinct typed interfaces. No live residual wire is silently deleted.
BThe global restore map and complete apparatus ledger are explicit. Residual readout-and-drop is external to the autonomous Hamiltonian.
CThe destination table includes the exact control and the energy and entropy counterexamples. A nonconstant residual is not equated with residual-only recovery.
DEndpoint identifications preserve access. Fixed finite proxies recur. Syntactic termination is not physical evaporation.
ENo field, metric, admitted analytic quantum coefficient, finite-gate compilation theorem, or OpenAI catalogue result is imported from typing or readout.

Complete unitary dynamics preserves the diary in the complete output. Which marginal recovers it is a separate channel question. Destructive readout is a classical-output instrument; discard is further operational forgetting. Neither operation is a theorem of physical annihilation.

The source supplies no positive noncommuting interacting recovery certificate, physical field-to-memory receiver, quantum-gravity unitarity theorem, or complete gravitational evaporation endpoint. The gravitational conclusion is exactly Corollary cor:gravity, with its hypotheses left explicit.