Manuscript XV-C@1 · XV-C.tex · remark · 5afd124d
Remark: What Hahn–Banach does not select
An exact local distributional extension test · lines 907–913
The proof constructs unrestricted distributional extensions. It does not select a normalized characteristic prescription, ensure a prescribed wavefront cone, or prove membership in the inherited contact class. Its arbitrary extension choices are not adopted as a prescription for the frozen joint graph.