While they provisioned $25B, the 10-K Meta filed states they paid $2.8B in Federal income taxes for the full year 2025. The amount they provisioned is not limited to Federal income taxes, it also includes state and foreign income taxes.