Аудит соответствия ConcurrentMap-контрактам в Caffeine

testing

audit-map-contract is a Claude Code skill that audits compliance of Caffeine's asMap() view with the `java.util.concurrent.ConcurrentMap` and `java.util.Map` contracts, covering collection-view semantics, null handling, and atomicity of compute/merge operations. Rather than relying on JavaDoc memory, the skill fetches actual OpenJDK source via WebFetch — ConcurrentHashMap, ConcurrentSkipListMap, AbstractMap, HashMap, WeakHashMap, and Guava LocalCache — requesting individual method bodies to avoid truncation. Caffeine is allowed to diverge from CHM where its own behavior is more coherent; any such divergence is recorded as a design decision rather than flagged as a bug. Disputed behaviors are resolved empirically by running a test harness under JDK 26 with CHM, CSLM, and Guava side-by-side. The skill targets developers who need to rigorously verify Map-contract correctness in a caching library.