Make sure that the headers are self-contained; fixes #528#531

Merged

liuzicheng1987 merged 10 commits into

mainfrom

f/make_sure_headers_are_self_contained

Oct 25, 2025

Commits on Oct 20, 2025

Added checks to make sure headers are self-contained; addresses #528
liuzicheng1987
committed

Commits on Oct 21, 2025

Fixed more headers
liuzicheng1987
committed

Commits on Oct 25, 2025