caffeine

Audit the adaptive window hill-climber and region-resize logic for implementation defects (not algorithm quality)

JSR-107 (JCache) spec-conformance audit

Audit explicit state machines (drain status, node lifecycle, async-value lifecycle) for illegal or missed transitions

Heavyweight history-mining bug audit. Walks the caffeine module's git history chronologically (oldest to HEAD), maintains a forward-tracked issue database, and surfaces concerns introduced by past commits that were never resolved. Catches bugs that snapshot mining cannot — half-fixes invisible from current state, latent+trigger pairs across multi-commit interactions, and partial refactors. Slow (model/effort-dependent; ~24h on Opus + max effort) and rare-run (every several months or before a major release).

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.

Find places where documented API contracts and the implementation diverge

Audit exception safety and failure atomicity across all throw sites

Analyze feature interaction pairs and triples for concurrent defects

Analyze concurrent iteration and view consistency guarantees

Java Memory Model audit of all VarHandle/volatile field access modes

Analyze shutdown, close, and GC-of-cache lifecycle correctness

Analyze reference retention paths that prevent GC of removed entries

Hostile full-codebase review by parallel adversarial agents with no design context — finds bugs that domain familiarity masks

Multi-layer adversarial code review of a diff or branch using parallel specialized reviewers with triage

Analyze behavior under adversarial or extreme API inputs

Audit for arithmetic and boundary bugs (overflow, off-by-one, drift)

Audit build and CI configuration for correctness risks

Attempt formal correctness proofs for all public cache methods

Discover test coverage gaps that could hide correctness defects

Analyze the cache for linearizability violations across all public methods

Analyze the cache for liveness defects (progress, termination, starvation)

Audit ConcurrentMap and Map contract compliance for asMap() view

Audit hot paths for performance inefficiencies (allocations, contention, layout)

Analyze user callbacks for re-entrancy defects (deadlock, corruption)

Audit serialization proxy correctness and round-trip safety

Audit one cache subsystem for concurrency correctness defects

Analyze a cache trace file to understand its characteristics and recommend policies

Run cache policy hit rate comparison across multiple cache sizes with charts