Stores.Store реализован как абстрактная запись, хотя там нет ни одной абстрактной процедуры, только пустые.
При создании клиентских модулей очень редко пользуются абстрактными записями, поэтому их введение вряд ли оказало влияние на безопасность создаваемых приложений с точки зрения 'хрупкого базового класса'.
С учетом того, что абстрактная процедура может быть только в абстрактной записи (лично мне тоже не очень понятно, почему именно в этих записях), то абстрактная запись больше связана с введением абстрактной процедуры, чем с другими соображениями (на мой взгляд).
И в чем различие в безопасности или надежности приложения от создания экземпляра от абстрактной записи или ее наследника?