Public Local-Gap Entry Point

This module is intentionally thin. The main theorem chain for the arXiv paper lives in RequestProject.HadamardCn3ShortMain, while its heavier analytic support stays in RequestProject.HadamardCn3LocalGapCore.

Keeping this file as a wrapper preserves the public import surface while making the top-level entry point easier to navigate.