Heatwaves and Edwardian houses - Did we fail to get our insulation right?

Our Edwardian house reached 35 degrees during a heatwave after insulating with PIR. Here’s what happened, what we chose, and whether we got it wrong.