Аудит живучести кэша Caffeine

testing

audit-liveness is a Claude Code skill that audits the Caffeine cache for liveness defects — progress, termination, and starvation — assuming safety properties have already been verified. Running in fork context with a dedicated auditor agent and model invocation disabled, it focuses exclusively on whether good things eventually happen. For each of seven properties — maintenance-loop termination, eviction progress, expiration progress, refresh completion, write- and read-buffer drain progress, thread starvation, and removal-listener notification delivery — the agent either proves the property holds or constructs a violating execution trace. Each analysis identifies the concrete mechanism that ensures progress (CAS retry bounds, lock fairness, timeouts) and makes external assumptions explicit, such as executor liveness. No code improvements are suggested. Ideal for engineers investigating deadlock-freedom and starvation-freedom issues in concurrent Java caching workloads.