Verified validity of proxy configuration code