Apologies if this is in the wrong section of the forum.
My pool builder poured my pool 4" higher out of ground than the plan called for. The pool is elevated 12' off the ground to run flush with my patio. The yard slopes down and away from the house. We discovered the issue when we went to measure for a wood deck that will run flush between the patio and the edge of the pool. The plan is to have it all at the same elevation. The pool builder proceeded to jack hammer the entire perimeter of the pool down 4". The issue now is the pool depth is 4" shallower than planned (it was supposed to be 4'6" at center and 3'6" at each end). If we keep it as-is I will have 3'2" at each end and 4'2" at center. My question is should I have them jackhammer the bottom of the pool down 4" or will that compromise the integrity of the pool? Having a shallower pool is one thing but having a pool which leaks down the road is even worse. Thank you.