Gaussian branch analysis

This entry point reexports the index-two norming and integrated-tail results. Ported from BGWLeaves/StableAnalysis/GaussianBranch.lean of the author's arXiv:1110.2163v4 formalization (local snapshot of 6 November 2026).