Docs: Promote four conventions from the local Claude notes into the shared guides

libeigen/eigen!2983

Co-authored-by: Rasmus Munk Larsen <rmlarsen@gmail.com>
3 files changed