Provenance table

Status codes: S = directly supplied in the record (formula or definition reproduced); T = faithfully transcribed from a named source excerpt, with the excerpt reproduced; R = reported only (a locator, a name, or a sentence stating that a predecessor defined or proved it); U = unavailable (no definition in the record).

{}{@{}p{0.07} p{0.32}p{0.08}X@{}} Item & What the record contains & Status & What is missing
D0.1 & The phrase “finite retarded-pole module of Definition def:amodule” Iamplitude; XV-B's abstract interface. & R & The definition of the module and its elements.
D0.2 & Two values: $\mathsf{Rec}(M_{\mathrm{R}})=\delta (q)R(r)$, $\mathsf{Rec}(i\theta M_{\mathrm{R}})={\delta }^{\prime }(q)R(r)$ Jnull. & T (two values) & $\mathsf{Rec}$ on all of ${\mathcal{P}}_{\mathrm{int}}$; the chart in which $q$, $\theta$, $r$ are defined.
D0.3 & “${\mathcal{K}}_{\mathrm{int}}=\mathrm{im}\mathsf{Rec}$” as an interface convention XVB. & R & The inherited carrier topology.
D0.4 & One null identity (eq:inheritednull) Jnull. & T (one relation) & Whether it generates $\ker \mathsf{Rec}$; any other relation.
D0.5 & Name $W$; internal variables $(a,b,z,y)$ Hkernel; “dimension sixteen” Grelease. & R & Defining coordinates and the residual bundle $E_{\mathrm{res}}$.
D0.6 & Name $N={\mathcal{N}}_{\mathrm{att}}$; “dimension eight” Grelease; “codimension eight” record. & R & Defining equations; the lift to attachment variables.
D0.7 & Name $S_{\mathrm{resp}}$; “codimension five” record; normal coordinates $q_1,q_2$ appear in (eq:referenceWF) Jreference. & R & Defining equations.
D0.8 & Name $U_{\mathrm{can}}$; the statement that $U_{\mathrm{can}}=W\setminus \overline{{\mathcal{N}}_{\mathrm{att}}}$ does not follow Ijoint. & R & The definition of the microlocally admissible domain.
D0.9 & Names only record. & U & Equations of the collision strata and observable diagonals.
D0.10 & Name; “canonical grouped expression eq:target” Ijoint. & R & The expression and its proved domain.
D0.11 & Name ${\mathcal{C}}_{\mathrm{cross}}$; existence of a traceability lemma lem:traces Jreference. & R & The operators, their wavefront sets, their normal traces.
D0.12 & Names; XIV-D equation labels record. & U & The Hessian and the weights.
D0.13 & $\mathsf{D}$ fixed by ${\dot{a_2}}^{\alpha \mu }[G;h]={\mathsf{D}}^{\alpha \mu ,I,J}{h}_I{G}_J$ Iamplitude; pole chart of $R$ (eq:pole) Ipole; names $\mathsf{A}$, $L$, $f$, ${\sigma }_{\epsilon }$. & T/R & ${\dot{a}}_2$; cone formula eq:R; eq:L; $\mathsf{A}$; $f$; ${\sigma }_{\epsilon }$.
D0.14 & “Exact kernel maps eq:K8reduced and eq:K9” Hverdict. & R & The formulas.
D0.15 & “Normalization eq:Rconvention” Jadmission. & R & The convention.
D0.16 & “The class fixed in Definition def:mapclass” Jverdict; “Definition def:class” Ijoint. & R & The definitions.
D0.17 & “XIII-C's partia