Is there a code on required depth of the pool? I was going 6.5' deep end - with a wedge design so there is no flat in the deep end. The wedge goes all the way down until it starts back up the wall.
For the rock wall, I was thinking 14" tall sides with a 20" tall center. The center is a good height to sit on but not too high where it's dangerous to jump off.
Not really to scale but you get the idea...
