λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XV-C@1 · XV-C.tex · section · 5afd124d

Evidence contract

Scope, conventions, and the permitted ending › Evidence contract · lines 218–241

Back to manuscript

The direct inputs are:

  1. the supplied full XV-A and XV-B texts;

  2. the supplied XIV-H, XIV-I, and XIV-J excerpts;

  3. the proposed XV-C plan, used as a statement of objectives, not as a source of construction theorems.

The broad retrieval account supplies documentary context only. A passage having been retrieved from a manuscript does not supply every definition in that manuscript or transfer its theorems to the present problem.

No result from the relative classical branch or the unfinished XIII-E route is imported. No claim about the current state of an external manuscript registry is made.

All distributional arguments below are local in Euclidean charts. They extend componentwise to finite-dimensional residual fibers. Statements attributed to predecessors retain their supplied domains and are not independently verified here.