Manuscript Psy02-B@2 · Psy02-B-v2.tex · theorem · cfd06e2e
Theorem: Sufficient full-map certificate
Track B continuation, microlocal output, and admission › A limit route for the complete grouped expression · lines 2336–2359 · proof included or linked
Psy02-B@2#thm:limit
Suppose regularized complete grouped maps converge to a continuous , uniformly on bounded presentation sets. Assume:
for every ;
the limit agrees with canonical contraction on its proved domain;
the support and cone are those required for the complete graph;
all tensor coefficients, lower terms, and both placements are retained.
Then descends to a continuous full reconstructed-kernel map, with the stated reference, support, and wavefront.
Proof. The topology gives a distributional limit and Fourier decay outside , hence its wavefront bound. The null-presentation condition gives descent. Support and reference agreement pass to the distributional limit.