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
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.