Manifest after five passes

& core & T/C & eq:L (eq:L) HeqL; eq:R (eq:R)–(eq:RR) IeqR, verified; $\mathsf{A}$ defined as the matrix of XIV-H's $a_1$ (eq:a1H) Hfiber, $a_1$ not reproduced; candidates $\mathfrak{a}$ (eq:a1), $f\in {C^{\infty }}_c$, ${\dot{a}}_2$ (eq:a2dot), ${\sigma }_{\epsilon }$ (sec:candidates). & Pass 2: $L$; pass 4: $R$; pass 5: role of $\mathsf{A}$, three candidate displays.
D0.14 & core & T/P/C & $K_8$, $K_9$ (eq:K8)–(eq:K9) Iresponse; $\mathcal{B}$ explicit; ${q^{L,I,J}}_{\alpha \beta }$ paraphrased with $|\alpha |+|\beta |\le 2$ Hq; ${E^{\mathrm{A}}}_m$ candidate (eq:EA); $\mathsf{P}$, $\mathfrak{b}$, $g$ not reproduced; existence proved (Theorem thm:exist). & Pass 5: order bound; advanced candidate.
D0.15 & downstr. & T & eq:Rconvention (eq:Rconv) Jrconv. & Pass 4.
D0.16 & core & P & def:mapclass: four clauses paraphrased Jmapclass; def:class not reproduced. & Pass 4.
D0.17 & core & T/R & ${\mathcal{C}}_{\mathrm{part}}$ defined XIIICpart (Definition def:Cpart); $D_{\Gamma }$, $w_{\Gamma }$, $S_{\Gamma /I}$ are roles, not formulas (confirmed by pass 5); relation to $\mathrm{Hom}({\mathcal{P}}_{\mathrm{int}},Y)$ not supplied. & Pass 2.
D0.18 & downstr. & R & Symbols in (eq:reference). & None.
D0.19 & downstr. & T (partial) & Bound (eq:referenceWF); $\mathcal{L}$ named. & None.
D0.20 & downstr. & R/T & $Q_H$, ${\mathcal{E}}_H$ named Jadmission; output convention (eq:Rconv). & Pass 4.