Аудит консистентности конкурентной итерации кэша

testing

audit-iteration — это скилл для Claude Code, который анализирует гарантии консистентности при конкурентной итерации по кэшу Caffeine. Скилл запускается как отдельный агент-аудитор без вызова модели и последовательно исследует операции asMap().entrySet/keySet/values(), forEach(), size(), containsValue() и снимки политик eviction().hottest/coldest(). Для каждой операции определяется тип гарантии (snapshot, weakly consistent, sequentially consistent), проверяется видимость устаревших, удалённых или частично обновлённых узлов, а также возможность пропуска записей, дублей или ConcurrentModificationException при одновременных put/remove/compute. Если анализ не выявляет проблем, скилл обязывает повторно проверить expired-but-present записи и retired/dead-узлы с конкретным объяснением отсутствия наблюдаемых несогласованностей. Подходит для команд, тестирующих потокобезопасность кэширующих структур.