Hi Joe,
Thanks for the idea, but I'm not entirely convinced this is the issue. OSLO's "afocal mode" doesn't appear to actually require that the lens be "afocal." So far as I can tell, it just means that image space rays are reported in angular units, which is exactly what I want. Here is the paragraph from the manual:
-------
Afocal mode
An afocal system is one in which the principal points and focal points are at infinity. This does not
necessarily imply that the object and image are at infinity. However, in the case where the image
is at infinity, special procedures must be used in ray tracing because image-space rays can not
actually be traced to infinity. The term afocal on the image side is sometimes used to describe the
situation where the image is at infinity, whether or not the actual system is afocal.
OSLO has an evaluation mode called afo that causes image-space ray displacements to be reported
in angular measure, optical path differences to be referred to a plane wave in the exit pupil of a
system, and field sags to be reported in diopters. Afocal mode has no effect on single ordinary
rays.
-------
I also found an "aberration mode" that can be set to transverse or angular, but this doesn't seem to affect how the spot size is reported. I also considered just adding a perfect lens at the end of the system, the issue there is that it is rather tough to constrain the EFL of the part of the system that I actually care about.
Thanks,
James