refresh-only views properly handled with pre-checks, produces correct output