What is, and is not, inherited

All formal premises of the reconstruction theorem are displayed in this paper:

1. the fixed metric and conformal boundary;

2. the finite Hilbert spaces and matrices;

3. the finite bulk and boundary mode expansions;

4. the declared occupation-basis correspondence $U$;

5. quantum access to the stated boundary algebra.

These are not claimed to follow from the supplied manuscript ledger.

Cheung's XIV-J distinguishes an absent full map from a universal obstruction CheungXIV. The same logical caution applies here: the lack of an inherited connecting map is not a theorem that every such map is impossible. The inherited candidate versions of XVII-A remain unconstructed, rather than universally obstructed.

The elementary obstruction in Proposition prop:record-obstruction has a different object, domain, and map class from H2, I3, or J2. Similar language does not identify these problems.