2.5mm2 is not rated for a 45A circuit!

It would be fine if he de-rated the breaker.

I just checked. Despite the fact that the circuit is labelled "cooker" and
wired with what I think is 6mm cable, the breaker installed is a 32A model
identical with those on the ring circuits.