Аудит соответствия ConcurrentMap-контрактам в Caffeine

testing

audit-map-contract — это скилл для Claude Code, который проверяет соответствие асинхронного представления кэша Caffeine контрактам `java.util.concurrent.ConcurrentMap` и `java.util.Map`, включая семантику коллекций-представлений (views), поведение null и атомарность операций. Скилл требует сверки с реальным исходным кодом OpenJDK через WebFetch — конкретно с ConcurrentHashMap, ConcurrentSkipListMap, AbstractMap, HashMap, WeakHashMap и Guava LocalCache — запрашивая тела отдельных методов, а не дампы файлов целиком. Ключевой принцип: Caffeine может отступать от CHM там, где его поведение последовательнее, поэтому расхождение фиксируется как дизайн-решение, а не автоматически считается багом. Для спорных случаев предусмотрен эмпирический подход — запуск тестового жгута под JDK 26 с реальными CHM, CSLM и Guava side-by-side. Задача ориентирована на разработчиков, которым нужно аудировать корректность реализации Map-контракта в кэширующей библиотеке.