Independent audits of AI benchmarks, with receipts anyone can re-run | Manifund