Критерий доменной валидности проверяет кандидаты метаморфных отношений, обеспечивая превышение допустимого порога и выполнение предусловий. Метод преобразует действительные отношения в исполняемые, оракульные тестовые ресурсы, проверенные на нескольких задачах по CFD и семействах дифференциальных уравнений, позволяя различать нарушения модели от применений за пределами домена.