Evidence contract

Direct inputs: the full texts of XV-A through XV-E XVA,XVB,XVC,XVD,XVE and of XII-B XIIB; the XIV-H, XIV-I, XIV-J excerpts of the first retrieval Hkernel,Hverdict,Ipole,Iamplitude,Ijoint,Irelease,Jdescent, Jnull,Jreference,Jconditional,Jverdict,Jrelease,Jadmission; the XIV-C and XIV-G release statements Crelease,Grelease; the XII-A and XII-D passages transcribed in XV-E XIIA,XIID; the passages of the second retrieval HeqL,Ipackage,Iresponse, XIIAhad,XIIICcoll,XIIICpart,XIIDsource; the one new passage of the third retrieval XIIDrelease; the displays and prose descriptions of the fourth retrieval Iamodule,IeqR,Jcross, Jhessian,Jmapclass,Jtarget,Jrconv,HK9; and the displays, refusals, and prose descriptions of the fifth retrieval Ichart,Hrefuse,Irefuse,Jrefuse,Hfiber,Hq,XIIDfiber, XIIDweight,XIIEa2,Jstress,XIIICvertex,XIICsource. Locators cited without content XIVArel,Ione and the X-B summary XBsum are non-inputs. The coverage account record is documentary context. Its reading rule—similar words in distinct manuscripts do not identify their models, response maps, or sign conventions—is applied throughout, including to the four symbols $\mathcal{P}$ (XII-A), $\mathcal{P}$ (XII-B), $\mathfrak{P}$ (XII-D), $\mathsf{P}$ (XIV-I) of sec:threeP, to the four symbols $R$, $R_1$, ${R_1}^{(1)}$, $\mathcal{R}$ of sec:fourR, and to the letters $a_1$, $X$, $f$, $g$, $E^{\mathrm{A}}$, $T$ shared between the XII and XIV sheets. Nothing from XIV-A, XIV-B, XIII-D, XIII-E, X-B, or manuscripts I–V is imported as a premise.

Displays, paraphrases, locators, refusals. A reproduced display with file, label, and line numbers is a definition for the purposes of the manifest (status T). A prose description of a located definition, with locators but without its display, is a paraphrase (status P); it fixes what the definition is about and does not pass F0. A locator, a search term, or a sentence stating where a definition should be found is not a definition (status R). A located sentence stating that an equality is not asserted is a refusal; it is recorded as such and closes the corresponding search.

Standard distribution theory (pullback by submersions, tensor products, convolution under support conditions, point-supported distributions, Paley–Wiener–Schwartz) is used with reference to Horm.