Neu gegossener Estrich gebrochen

Hallo zusammen,
Falls es dazu schon was gibt, schickt mir gerne den Link - ich habe nichts gefunden.

Wir sanieren unser Haus aus den 1980ern.
Der Boden inklusive Estrich wurde entfernt, eine Fußbodenheizung verlegt und darüber Zementestrich gegossen.
Der Schichtaufbau ist wie folgt:
Beton - Dämmung - Noppendecke mit FBH Schlangen - Estrich
Unten scheint alles soweit gut bzw. stabil zu sein. Im OG ist der Estrich bei Belastung gebrochen - teilweise komplett durch, sodass wir die Estrichstücke aufsammeln können. Er scheint viel zu dünn zu sein (ca 1 cm). Heizungsbauer und estrichleger sagen, das würde an einer ungeraden Betondecke liegen - diese würde sich zum Zimmerrand hin anheben, weshalb der Estrich dort zu dünn geworden ist. Klingt für mich wenig plausibel. Dann müsste die Betondecke ja an dem Zimmerrand 3-4cm höher sein als im Rest des Zimmers..
Nun wollen sie die betroffenen Stellen rausheben und mit Harz auffüllen.
Unsere Bedenken:
Ist wirklich nur der Rand betroffen? Können wir irgendwie feststellen, ob der Estrich nicht allgemein viel zu dünn über den Heizungsrohren gegossen wurde? Ist die vorgeschlagene Lösung ausreichend? Gibt es eine sinnvolle Alternative oder muss eventuell sogar das ganze OG neu gemacht werden?

Danke schonmal und VG
Verena