Manuscript VII-H@1 · VII-H.tex · section · d20d2a9f
The chronological characteristic-map stop
The VII-D conversion and the inherited analytic boundary › The chronological characteristic-map stop · lines 1704–1730
The supplied XIV-H statement leaves an internal amplitude obligation open. XIV-I subsequently supplies its named internal amplitude construction at I2, but leaves the full joint characteristic map open at I3. XIV-J supplies reconstruction and an off-characteristic reference for the supported sector, but leaves the full map open at J2 CheungXIVH,CheungXIVI,CheungXIVJ.
Thus it would be inaccurate to treat the earlier H2 statement as if XIV-I had made no progress. It would also be inaccurate to replace the later missing joint map by the already defined internal tree kernels.
The remaining obligations for that inherited target are:
the complete joint characteristic map, with reconstruction descent;
a joint section and controlled complete remainder;
the required transverse estimates;
contact compatibility;
the output wavefront theorem;
admission of the actual quantum coefficient.
No step is supplied by the scalar benchmark. Abstract extension or descent interfaces are not that graph operation.