Evidence contract

Direct full texts. XV-F-patch XVFpatch, as the record being completed; its documentary ledgers are inputs, its F0 refusal is binding, and its verified lemmas are cited by label. XIV-G Grelease,Gresidual,GG34, for $W$, $N={\tilde{\mathcal{N}}}_{\mathrm{att}}$, and the residual test. XIV-J Jdescent,Jnull,Jreference,Jconditional,JJ2, Jrelease,Jadmission,Jmapclass,Jtarget,Jcross,Jhessian,Jrefuse, for the presentation interface, the retained sum, def:mapclass, and the descent criterion. XIV-I Ipole,IeqR,Ichart,Iamodule, II2,II3,Irelease,Iresponse,Irefuse, for the chart module, the source-internal identification of $R$ as the kernel of ${E_0}^{\mathrm{R}}$, and the copied $K_8$, $K_9$ displays. XIV-H Hkernel,HeqL,Hq,Hrefuse,Hfiber,HH2,Hrelease,HK9, for the coefficient input statements. XIII-C XIIICcoll,XIIICpart, XIIICvertex,XIIICU,XIIICT0, for ${\Delta }_I$, def:Cpart, ${\mathcal{U}}_{\Gamma }$, and $T_0$.

Copied premises, usable only where the display is already quoted inside one of the six direct sheets: XII-E XIIEa2 for $a_2$ (and $a_1$, $b_1$ to the extent XIV-H's input statement input:EC HinputEC quotes them); XII-C XIICrelease for the undifferentiated cubic; XII-D XIIDfiber,XIIDweight for $f$ and the observable; XIII-B XIIIB for the time-ordered line convention copied into XIII-C.

Non-inputs. XI-B, XII-A, XII-B, XIV-D, XIV-E, and the quantum coefficient ${R_1}^{(1)}$. A citation inside a handoff does not import them. The equality $U_{\mathrm{can}}=W\setminus \overline{{\mathcal{N}}_{\mathrm{att}}}$ remains refused and is recorded once, in (eq:refused).

Reading rule. Similar words in distinct manuscripts do not identify their models, response maps, or sign conventions record. Within the six direct sheets, a symbol defined in one and used in another with an explicit input statement is one symbol; without such a statement it is two.

Status codes. identified (frozen member displayed in a direct sheet, with locator); convention (adopted here, offered as the frozen choice); open (role, family, locator, or unreturned quotation); documentary (a gate whose pass condition is a statement about the record).

Standard distribution theory is used with reference to Horm. Throughout, $\eta =\mathrm{diag}(+,-,-,-)$, $\square ={{\partial }_t}^2-\Delta$, $J^{+}=\{t\ge |\mathbf{x}|\}$, $\partial J^{+}=\{t=|\mathbf{x}|\}$, $x_{\alpha }={\eta }_{\alpha \nu }{x}^{\nu }$, $x^2={\eta }_{\mu \nu }{x}^{\mu }{x}^{\nu }$; $R=\frac{\Theta (t)}{2\pi }\delta (x^2)$ and $\mathcal{B}=R\ast R=\frac{1}{8\pi }\Theta (t)\Theta (x^2)$ are XIV-I's displays IeqR, verified in XVFpatch (Lemmas lem:R, lem:RR).