@a1ex
One more thought, I would like to suggest that there are two ways at looking at focus position accuracy.
First, as you imply, absolutely, ie if focus is reported as X then the focus is at X.
The other is relative, that is the focus shift is relative to the current focus position.
In relative mode, the absolute focus reporting is irrelevant. Most use cases will start from a position of focus and the user will wish to shift focus by a delta amount. Having shifted, the new position, and its reported position, establishes a new reference position to shift from.
I wonder if it might be possible to offer the user a choice, ie use set_focus() in absolute or relative mode. Also, in relative mode, calibration should be less of an issue.
As usual, just me thinking out loud.
Cheers
Garry