Аудит дрейфа контрактов публичного API

testing

audit-contract-drift — это скилл для Claude Code, который ищет расхождения между задокументированными контрактами публичного API кэша Caffeine и их реализацией в коде. В отличие от обычных аудитов, он читает документацию первой: собирает поведенческие обещания из javadoc (`<b>Note:</b>`, `<b>Warning:</b>`, конструкции «must», «will», «guarantees») по файлам `Caffeine.java`, `Cache.java`, `LoadingCache.java`, `AsyncCache.java`, `Policy.java`, `Weigher.java`, `Expiry.java` и другим, а затем прослеживает каждое обещание по всем путям исполнения — включая `asMap()`, bulk-операции, `synchronous()`-представление и сериализацию. Особое внимание уделяется типичным паттернам дрейфа: семантика идентичности против equals для `weakKeys`/`softValues`, пропуск уведомлений `removalListener` в асинхронных путях, потеря конфигурации при сериализации между версиями. Каждая находка закрепляет обе стороны расхождения — источник контракта с javadoc-фрагментом и отклоняющуюся реализацию с минимальным воспроизводимым сценарием.