Other non-identifications

The fixed-support smooth topology of ${\mathcal{D}}_C$, the degree-one quotient $Q_m$, and the normal topology of a specified distributional kernel are not identified. Nor is any of them identified with IX-A-ST's boundary-sensitive sharp-insertion topology IXAST.

The general inclusion

does not select a subtraction, construct an undefined product, or provide a loop regulator Hormander. Fixed positive width is not an ultraviolet completion.

The polynomial smoothing-growth record of Em01-B and the scalar diagnostic record of Em01-C concern different families and do not supply a characteristic composition theorem EmRecords. The separated raw-family divergence of Em02-D is not repaired by constructing this tree. These records are comparisons, not premises.

No part of the full characteristic-map programme at historical H2 or full I3/J2 is discharged by the forest calculation above. Its propagator variables are independent tree variables, not the unresolved cross-line product of that programme.