Partial Valve Stroke Test.
The Exida model (exSILentia) says that partial proof test coverage affects a main proof test coverage factor. I've been using and still following their model for many years.
I'm curious what your approach to this topic is in your PFDavg calculations?