I have had that issue where the lens hits the hard stop with the EAF, sometimes it does cause problems, sometimes not. With the Samyang 135mm it is possible to adjust the focus ring and extend the beyond infinity focus throw, which eliminates that problem. If you don't want to undertake that task you have two options, decrease the step size and hope the focus curve can still be accomplished accurately over a smaller focus distance OR decrease the back focus distance which will make the camera come to focus before the infinity distance on the lens. Obviously the second one is only possible if there's an even thinner lens adapter, which isn't the case here. You might get lucky and the lens might come to focus a little before the infinity mark and you won't have any issues, otherwise you'll have to decrease step size or adjust the focus collar.
Rokinon 135mm seems to have enough margin over infinity focus. Probably 0.1mm margin I added (0.1mm thinner) also contributed as well.
On field test, autofocus ran well without hitting hard stop.
All CNC'ed components including ring, clamps and holding plates worked well on the field but critical focus zone was too narrow for this fast optics.
CFZ = 1.6 * lamda * F^2, where lamda is wavelength of green = 500nm
With F/2.8 setting on Rokinon, CFZ is mere 6.3um which is lower than my CNC tolerance (I don't know how much precision typical manufacturing has.)
So, I need to adjust some tilt plate using screw. I don't know how Eric got that flat with minor tilt with my 3D printed plate.
Also, light pollution on my backyard is quite high and change over time in frame, so it's very difficult to process.
So, I designed 77mm filter to M48/0.75 2" filter adapter and plan to put this filter in front of the objective lens. This will handle light pollution and step down the F ratio to increase CFZ.
Need clear nights to test this out but rain is coming. Should've done this during summer days when temperature is tolerable, abundant clear days, and long list of wide field objects in the sky.