Certified Corruption Budgets: Anytime-Valid Leaderboard Claims under Adaptive Rigging | AIChainDay