Дифференциальный аудит парных путей кода

testing

audit-sibling-divergence — это скилл для Claude Code, который выполняет дифференциальный аудит парных code paths, обязанных давать идентичный observable behaviour, и требует конкретного witness-сценария при каждом расхождении. Скилл запускает отдельного аудитора на каждую пару: sync/async кэш (группа A), BoundedLocalCache vs UnboundedLocalCache и generated node variants (B), view consistency — keySet/containsKey/entrySet (C), bulk vs single-key операции (D), equivalent-by-construction пути (E), internal fast/slow paths (F), а также adapter conformance для JCache и Guava (группа G — исторически наиболее уязвимая область). Инструмент рассчитан на запуск после значимых изменений в BoundedLocalCache, LocalAsyncCache, javaPoet-генераторах или адаптерах, а также перед мажорным релизом и раз в квартал как базовый аудит. Тяжёлая операция (4–6 часов agent time): не предназначена для рутинного pre-commit review.