Verified reporting

Tagged concurrency