Finite Dudley entropy-integral endpoint

This module is the canonical import surface for the finite G3 Dudley endpoint. It re-exports the q087 sum-to-integral theorem, the lower-friction q087 wrappers, and the rooted two-point integral example.

The statements remain finite-scale. They do not assert a measurable supremum theorem, separability theorem, or continuous limiting theorem.