/u/Jay29979 предложил убрать верификацию из головы модели — перенести её во внешний список слотов. Каждый слот заполняет уполномоченная сторона: провайдер инструмента, пользователь или система. Модель действует только когда все слоты закрыты. Подсчёт — не вероятностный вывод. Низкая уверенность в оценке: автор сам предложил идею, бенчмарков и рабочего кода нет.