Proposition: Status of the candidates

None of the four identifications is supplied by the record. Each would be promoted to status S by reproducing XIV-H's equation eq:L and the definitions of $\mathsf{A}$ and $R$ in XIV-H or XIV-I, together with a statement in those manuscripts that their symbols are the XII-A objects, or by a transport proof meeting the four conditions of XV-A's domain-sensitive transfer criterion XVA. Even if all four were promoted, items D0.1, D0.2, D0.4, D0.8, D0.10–D0.12, D0.14, D0.16–D0.18, and D0.20 would remain in status R or U.

Proof. The XIV-H excerpt uses $L$ and refers to “(eq:L)” without reproducing it Hkernel; the XIV-I excerpt uses $L$, $R$, $\mathsf{D}$ without definitions Iamplitude. The XII-A passage names $\Lambda$ and ${E_0}^{\mathrm{R}}$ and does not mention XIV-H's symbols. The record's own reading rule forbids identifying objects across manuscripts by notation. The promotion conditions are read off from XV-A's transfer criterion. The last sentence is the manifest.