Looks good to me. The only thing I would point out is that you have the proximity sensor end-on. There's very little room for deceleration between detecting the gantry and being smashed by it. A safer option is to have the sensor pointing uipwards so that it detects the gantry riding above it. You already have a non-smashable mechanical end-stop in case that fails.

Kit