Аудит повторного входа в Caffeine-кэше

testing

audit-reentrancy — это скилл для Claude Code, который анализирует пользовательские callbacks в Caffeine-кэше на дефекты повторного входа: deadlock, повреждение состояния и наблюдение частично сконструированных объектов. Скилл проверяет семь типов callbacks — CacheLoader (load, reload), Weigher, Expiry, RemovalListener, EvictionListener, mapping-функции compute/computeIfAbsent/merge, а также JCache-специфичные CacheEntryListener, CacheWriter, EntryProcessor и ExpiryPolicy. Для каждого callback фиксируются все удерживаемые блокировки (evictionLock, CHM bin lock, synchronized(node)), затем разбирается, что произойдёт при вызове каждого из методов кэша — get, put, remove, compute, size, clear, cleanUp, asMap(). По каждой паре (callback, метод) скилл устанавливает возможность deadlock, corrupt state или видимость незавершённых мутаций, а если кэш защищается от реентрантности — верифицирует полноту этой защиты.