Аудит адаптивного контура W-TinyLFU в Caffeine

testing

audit-adaptivity — это скилл для Claude Code, который проверяет реализацию адаптивного контура W-TinyLFU в кэше Caffeine: hill-climber, логику зондирования (probe machine) и перераспределение регионов admission-window / main-region на предмет дефектов реализации — но не качества алгоритма. Аудит охватывает методы `climb`, `determineAdjustment`, `densityClimb`, `armProbe`, `walkStep`, `probeEnding`, `increaseWindow`, `decreaseWindow` и `setMaximumSize` в классе `WindowClimber`, недавно перестроенном с добавлением density-signal и probe machine для больших кэшей (>4096). Скилл ищет арифметические ошибки, нарушения инвариантов состояния (например, `1 <= starvation.rung <= 64`), гоночные условия, переполнения и NaN — и явно исключает замечания о скорости сходимости, осцилляции или выборе констант настройки.