Specifications verify local server logging