Manuscript I-B-VP-2@1 · I-B-VP-2-v1.tex · section · f4bd2b11

Evidence and unrelated analytic problems

Supported laboratories, reporting, and non-transfer › Evidence and unrelated analytic problems · lines 1798–1823

Back to manuscript

All wavefront conclusions here are ANALYTIC{} conclusions from the displayed representation and microlocal arguments. No numerical sample is promoted to an equality of wavefront sets.

A future numerical probe must retain its angular lifts, bundle phases, boundary-value side, test localizations, frequency directions, precision, cutoffs, raw residuals, and total error allowances. We retain the distinctions ANALYTIC{}, SUPPLIED{}, and UNCERTIFIED{} used in XVI-O1-ST CheungOOneST. No numerical execution, compiler execution, independent rebuild, or proof-assistant check is claimed.

The apex-diffracted relation of this paper is not the aligned-null characteristic contraction of the separate XIV/XV programme. No joint characteristic graph map is constructed. The supplied XIV-I, XIV-J, and XV-B records retain their own domains and analytic obligations CheungXIVI,CheungXIVJ,CheungXVB. A global theorem for this free two-point kernel cannot discharge those different products.