Аудит живучести кэша Caffeine

testing

audit-liveness — это скилл для Claude Code, который анализирует кэш Caffeine на дефекты живучести: прогресс, терминацию и отсутствие голодания (starvation). Безопасность (отсутствие плохих состояний) считается уже доказанной — скилл сосредоточен исключительно на том, чтобы «хорошие вещи в итоге происходили». Для каждого из семи свойств — терминации maintenance-цикла, прогресса эвикции и истечения, завершения refresh-операций, дренажа буферов записи и чтения, отсутствия голодания потоков и гарантии доставки уведомлений — агент либо доказывает выполнение, либо строит нарушающее выполнение. Скилл работает в режиме fork с агентом-аудитором и не генерирует предложений по улучшению кода — только верификация. Подходит для инженеров, отлаживающих многопоточные сценарии с дедлоками, spin-петлями и потерей событий.