I am under construction on a hillside pool with an infinity edge. The shotcrete was placed in May. The infinity side of the pool is fully exposed (above grade). In recent rains it was noticed that the pool retained water for weeks. The retention basin (which retains the water on the spill wall) did not retain water. Today, we attempted to fill the retention side of the pool with a hose and found that it leaks significantly. You can see the water dribbling out of the bottom of the retention basin (which sits about 2 inches above grade. The contactor, when I mentioned that I suspected this issue existed many months ago, said not to worry that shotcrete is not water proof and that the pebble tech creates the water proof shell. After filling the retention basin today, I sent the pool contractor (and the general contractor as they are in charge of the larger remodel) photos and a video showing the water leaking out. Long story short, I know that shotcrete is not waterproof, but it is clearly a whole lot LESS water proof in the case of my retention basin verses the pool basin. Should I be concerned? What would be the proper fix? Adding more shotcrete to the bottom of the retention basin?