20 / research
Paper mapping
A guide to the paper terms that appear in the implementation without turning them into unexplained product promises.
Edit this pageUpdated with the source
The current code uses JLS terminology for reachability shortcut sets and CFR terminology for hopsets. The public pages explain the observable inputs, outputs, and invariants first; paper notation belongs in the research material.
Start with shortcut sets, hopsets, and correctness before reading the paper mapping.