I notice that there are two solutions, but they are relatively similar and they both retain the interesting bits of the solution design, so I guess I'm fine with it.
The trick is very subtle. In levels without holes, it's very hard to hide it, but because of all the backtracking and pushing around holes, it becomes way harder to spot.
Not only can you logic your way into narrowing the solution space, the actual solution is surprising in a subtle way, so this is an excellent puzzle. But even more mindblowing is that someone actually designed this thing. One of my favorite levels of all time of this style.
A very, very forced solution, but cleanly demonstrates applications of both locks and shortcuts. I think this could be a great introduction to "medium" difficulty levels.