Manuscript XV-B@2 · XV-B.tex · remark · 4d3f12e8
Remark: Support comparison, not a regulator import
Contact support and domain-sensitive transfer › The contact obstruction · lines 637–644
Theorem thm:contact is the precise support-theoretic version of the observation that collision contacts cannot alter an off-collision prescription. The supplied XIII-E release records that observation CheungXIIIE. This comparison imports no regulator, characteristic limit, selected finite part, or convergence theorem from XIII-E.