JSR-107 (JCache) spec-conformance audit
Differential audit comparing matched code paths that should behave identically. Spawns one auditor per sibling pair (sync/async, bounded/unbounded, view consistency, bulk vs single, generated node variants, read fast vs slow, adapter conformance) and requires a concrete witness scenario where the two paths diverge observably.
Audit ConcurrentMap and Map contract compliance for asMap() view
Hostile full-codebase review by parallel adversarial agents with no design context — finds bugs that domain familiarity masks
Find places where documented API contracts and the implementation diverge
Audit exception safety and failure atomicity across all throw sites
Analyze shutdown, close, and GC-of-cache lifecycle correctness
Analyze reference retention paths that prevent GC of removed entries