The source bodies captured at publish time for The Post puts the White House construction bill at "at least $900 million" — and the number, the payer, and the right-of-center file all refuse to hold still — each with the quoted spans highlighted at their character offsets. This is the frozen record the audit was checked against.
