[spec] 2.5.0