Manifest after five passes

{}{@{}p{0.055}p{0.07} p{0.09}Xp{0.18}@{}} Item & Group & Status & Record content & Change in XV-F
D0.1 & core & T/P & Finite retarded-pole module ${\mathcal{A}}^m(V)$ Iamodule; reconstruction rule (eq:Recrule) reproduced; adapted chart (eq:chart) reproduced Ichart; generators and coefficient class paraphrased. & Pass 4: rule; pass 5: chart.
D0.2 & core & T/P & Rule (eq:Recrule); agrees with the two XIV-J values (Lemma lem:recrule(i)); linearity of $\mathsf{Rec}$ over chart functions not reproduced. & Pass 4: rule.
D0.3 & core & P & ${\mathcal{K}}_{\mathrm{int}}=\mathrm{im}\mathsf{Rec}$ is the span of the family $\{{\delta }^{(j)}(q_{\pm }){{\partial }_r}^{\beta }R(r_{\pm })\}$ over the unreproduced coefficient class; free iff that class is $(q,r)$-independent (Lemma lem:recrule); topology not named. & Pass 5: revised (F2).
D0.4 & core & T (1)/P & Relation $(qi\theta +1)M_{\mathrm{R}}$ Jnull, an instance of $q{\delta }^{\prime }(q)=-\delta (q)$; further chart identities (Lemma lem:recrule(iv)) are null if $\mathsf{Rec}$ is $C^{\infty }$-linear; the general kernel depends on the coefficient class. & Pass 5: revised (F2).
D0.5 & core & R/P & $W$ carries coordinates $(a,b,z,y)\in {\mathbb{R}}^{16}$ Grelease,Ichart; $E_{\mathrm{res}}$ not defined. & Pass 5: coordinates confirmed.
D0.6 & downstr. & R & Name; $\dim N=8$; codimension-four stratum named Crelease. & None.
D0.7 & downstr. & R/C & Name; codimension five; $q_1,q_2$ in (eq:referenceWF). Candidate (eq:Srespcand). & Pass 2: candidate; pass 4: support refined.
D0.8 & core & P & “The inherited domain on which the specified products are already proved”; the equality $U_{\mathrm{can}}=W\setminus \overline{{\mathcal{N}}_{\mathrm{att}}}$ is refused at three located places Hrefuse,Irefuse,Jrefuse; XIII-C's ${\mathcal{U}}_{\Gamma }$ (Hörmander sum condition) is not identified with the complement of the collision diagonals. & Pass 5: refusals located.
D0.9 & downstr. & T/R & Collision sets ${\Delta }_I$ in XIII-C's graph variables XIIICcoll; connected subsets of the cycle-vertex table XIIICvertex (e.g.\ $\{y,u,v\}$, $\{y,v\}$ on $B_1$); lift to $W$ not supplied. & Pass 5: table located.
D0.10 & core & P & eq:target: “the formal six-branch contraction against the grouped Hadamard difference” Jtarget. & Pass 4.
D0.11 & core & T${}^{\ast }$/C & ${\mathcal{C}}_{\mathrm{cross}}$ as the submersion pullback (eq:cross) Jcross; symbol of the replaced blocks disputed (F3); identification with XII-A's admissible replacement XIIAhad is a candidate. & Pass 4: display; pass 5: (F3).
D0.12 & core & T/P/C & Mixed Hessian (eq:hess) Jhessian; $T_0$ displayed (eq:T0) Jstress; normalization of the polarized $T^{\mu \nu }(\varphi ,\psi )$ two-valued (Lemma lem:polar); remaining weights not reproduced. & Pass 4: Hessian; pass 5: $T_0$.
D0.13