Government auditors have taken a close look at a disputed calculation used by federal regulators to assess the long-term costs of carbon pollution. Their verdict: It was all done by the book.