Research map
The attack as a dependency graph
A hand-laid map of the research: the gate timeline along the top, and below it the claim dependency chain, how each theorem supports, supersedes or reduces to the next, down to the open target LRC(13).
Drag to pan · scroll/± to zoom · tap a node to inspect · Focus mode isolates its ancestors and descendants.