6.5. Scope of the change🔗

This route removes the need for Cauchy estimates for all derivatives, limits of all boundary moments, and integrability of those boundary moments. It retains the open-strip transform identity, open-strip integrability, the sector approach of the theta path, and compact integral comparison. All of these steps are formalized. Transform analysis remains part of the proof.