Placa base, cemento insuficiente en el hormigón

Hola, no tengo mucho conocimiento técnico en construcción y estoy muy preocupado por el siguiente problema:

Quiero construir en mi jardín una piscina de 3x5x1,5 hecha con bloques de poliestireno expandido que luego serán rellenados con hormigón.
El fin de semana un amigo experto en construcción me ayudó a verter la losa de fondo (20 cm) y tuvimos que mezclar el hormigón nosotros mismos con cemento y grava por diferentes razones.

En Internet he leído que la proporción ideal es de 1 parte en peso de cemento por 4 partes en peso de grava, y justamente eso fue lo que me dijo mi amigo experto antes.
Él mezcló el hormigón y yo lo vertí.

Ahora que la losa está terminada, he revisado los albaranes.
Si hago las cuentas, hemos usado exactamente 8 toneladas de grava y 1,250 toneladas de cemento.
Con una proporción de 1:4 deberían haber sido 2 toneladas de cemento.

Él dice que no es un problema y me da argumentos que no entiendo del todo.
(por ejemplo, que había agua en la grava, por lo que en realidad usamos menos grava de la que se entregó.)
La grava estaba mojada, es cierto, pero como profano sigo muy preocupado sobre si eso realmente aguantará.

¿Alguien sabe del tema y puede decirme algo al respecto?

Eso no te lo confirmará nadie

No solo existe un concreto y un cemento, sino cientos de mezclas diferentes.

Nadie debería firmarme que aguanta. Me gustaría tener la opinión no vinculante de alguien que entienda del tema. ¿Qué haríais en mi lugar?

Pide el tipo de cemento y consulta con el fabricante.

¿Al menos contiene hierro y fue compactado? Si se incorporó hierro correctamente y el hormigón fue bien compactado, no me preocuparía.