The grand-unifying algorithmic framework
The infrastructure that turns 'Shor-level' from theory into runtime
Beyond factoring: Regev, lattices, isogenies, dihedral HSP
Exponential speedup for Betti numbers — if dequantization fails