tools/rea_vanilla.py runs REA's JADX provider over the pinned client and
server JARs: class search, class members, method bodies and callers
(including lambdas). REA and the JADX engine are pinned in
research-lock.json.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>