Fourier bounds and the output operation

After multiplying an existing joint distribution by a compact local cutoff, the projection

has a defined pushforward. This operation cannot construct a missing joint product or supply an unproved output cone. Overlap agreement and quantum admission remain separate from the fixed-kernel limit.