λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XV-D@1 · XV-D.tex · section · 967136eb

Evidence contract

Purpose, scope, and outcomes › Evidence contract · lines 246–267

Back to manuscript

The direct inputs are:

  1. the supplied full texts of XV-A XVA, XV-B XVB, and XV-C XVC;

  2. the retrieved XIV-H, XIV-I, and XIV-J excerpts Hkernel,Hverdict,Ipole,Iamplitude,Ijoint,Irelease, Jdescent,Jnull,Jreference,Jconditional,Jverdict,Jrelease,Jadmission;

  3. the retrieved XIV-G release statement, used only for its dimension bookkeeping Grelease;

  4. the proposed XV-D plan, used as a statement of objectives and acceptance criteria, not as a source of theorems.

The coverage account record supplies documentary context only. A retrieved locator, a predecessor citation, or a sentence reporting that a predecessor proved something is not treated as the missing definition. Nothing from the relative classical branch (XIV-A, XIV-B) or the XIII-D/XIII-E routes is imported. Distributional arguments are local in Euclidean charts and extend componentwise to finite-dimensional residual fibers.