Аудит арифметических ошибок в коде кэша

testing

audit-arithmetic — это скилл для Claude Code, который проводит детальный аудит арифметических ошибок и граничных условий в коде кэша Caffeine. Скилл работает в режиме форка с агентом-аудитором и не вызывает модель напрямую — он исходит из допущения, что в проверяемом коде есть хотя бы одна ошибка. Проверяются off-by-one, неверное направление неравенств, переполнение int/long (включая nanoTime), неявное сужение типов, ошибки знака, коллизии sentinel-значений, дрейф счётчиков, модульная арифметика wheel timer, насыщение и сброс счётчиков FrequencySketch, вычисления hill climber с log-ratio и denominator адаптивного окна, таблицы stride/commitment, а также знаковые конвенции в UpdateTask при весах близких к Integer.MAX_VALUE. По каждой подозрительной точке скилл требует конкретных входных значений, пошагового трейса и сравнения ожидаемого с фактическим поведением.