Wiskundige Graatslaag voor Betrouwbare Ausvalspruven: Gates of Olympus 1000 als Testcase