These little 4-inch light fixtures were just about the only thing that would fit here.
With most of the framing done, it's electrician time!
When we did the original remodel back in 2001-2002, we went to great pains to avoid recessed "can" lights. The very low ceilings both in the loft and below it left us little choice this time.