Verified reporting

Tagged lsp