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

testing

audit-sibling-divergence is a Claude Code skill that performs a differential audit of matched code paths expected to produce identical observable behaviour, requiring a concrete witness scenario for every detected divergence. It spawns one auditor per sibling pair across seven groups: sync vs async cache operations (Group A, historically the highest bug yield), BoundedLocalCache vs UnboundedLocalCache and generated node variants (B), view-consistency paths such as keySet/containsKey/entrySet (C), bulk vs single-key operations (D), equivalent-by-construction paths (E), internal fast/slow-path agreement (F), and adapter conformance for JCache and Guava facades (Group G — previously outside any audit scope). Typical triggers include significant changes to BoundedLocalCache, LocalAsyncCache, javaPoet generators, or jcache/guava adapters, plus pre-release and quarterly baseline runs. The audit is heavyweight — 4–6 hours of agent time — and is not intended for routine pre-commit review.