Claims · 1 dated claim on Robin corridor, each with its tag and its witness; newest 2026-08-28.
Conjecture The Robin corridor is orthogonal to Robin's difficulty, not merely hard: a design of dimension dim is an integer of exactly dim prime factors and level raises the exponents, so the tree varies exponents at fixed prime support, while all of Robin's difficulty lives at growing support omega(n) -> infinity; fixed support is the classical easy half, settled by prod p/(p-1) bounded against a divergent log log, an obstruction read off the definitions. Witness: divisor-avatars.