What remains unconstructed

The theorem does not construct:

1. a metric, global deficit, lapse, or Lorentz cone derived from records alone;

2. a contact class derived from the clock instrument;

3. a global identity $m={\sum }_{\ell }{\alpha }_{\ell }{n}_{\ell }$ or a global contact separator;

4. a field-theoretic implementation of the spin-two response or the matching hypothesis of Definition def:matching;

5. a sourced Einstein equation, a stress-tensor dictionary, or a source-dependent energy-condition theorem;

6. microscopic within-tick transport dynamics or a quantum field-theoretic continuum limit;

7. a full characteristic quantum product, a joint section, the corresponding transverse and contact estimates, or its quantum output wavefront theorem;

8. a heat, work, apparatus-reset, or thermodynamic ledger.

The last item is not repaired by the fact that the instrument is destructive. Thermodynamic erasure requires a physical memory, preparation, bath, and control account; a channel name does not supply them Landauer,CheungPhil.