Non-transfer ledger

} the displays; leave open their unrecovered coefficient ingredients.
$m^{\circ }$ and the target & XIV-J & Target paraphrased & Transcribe the contraction recipe on its proved canonical domain.
Grouped blocks & XIV-J & Replacement symbol disputed & Transcribe $H_T$ and $H$; do not replace $H_T$ by a hatted block or an admissible Hadamard replacement.
Joint-map class & XIV-J & Four clauses paraphrased & Transcribe all five actual clauses, including the complete-graph wavefront requirement.
Descent criterion & XIV-J & Necessary interface & Transcribe the global criterion and the limitation of its verification by canonical agreement.
$U_{\mathrm{can}}$ & XIV-I canonical proposition & Named domain; complement equality refused & Transcribe the named domain and retain the refusal.
Presentation-level $\mathcal{A}$ & XV-F interface; not supplied by XIII-C & Unavailable & Leave open. Contact values do not determine a correction map on every presentation.

Three non-transfers deserve emphasis. First, XIV-G remains unresolved at G2. Its source differential symbol is not the joint principal symbol of a composed response. Second, XIV-J's descent criterion is a global algebraic criterion; only the information obtained from agreement on $U_{\mathrm{can}}$ is restricted to that domain. Third, XIII-C's class remains a class of contact changes in graph coefficients. It is not, without another statement, a vector space $\mathcal{A}\subseteq \mathrm{Hom}({\mathcal{P}}_{\mathrm{int}},Y)$.

These distinctions are not merely terminological. They concern different domains, different codomains, and different identifications. A kernel can be tested against a smooth residual direction without having a pointwise slice. A coefficient change can be supported on a collision without specifying its value on every null presentation. A formal target can be written without defining the characteristic multiplication occurring in that target.

No row in Table tab:nontransfer asserts that an XIV theorem proves an unstated XV identity. Where the patch adopts a convention, the adoption is visible. Where the source has a formula, the formula is reproduced. Where the source has only a role, that role remains a parameter until its actual member is recovered.