Use the rectangular clip mode of Clipper2
This is said to be significantly faster for larger polygons, but more importantly for us it offers stability on the vertex ordering. That's crucial for the semantics of e.g. one way streets, escalators, cliffs, embankments, etc.