See ch8-nested-infinities.html for the full mathematical treatment of the Mandelbrot set including a live interactive simulation, the K-applied-to-K argument, and the Zone of Proximal Development reading. This section provides biographical and geometric context not covered there.
-- Already proved (2026-06-14):
-- critDim_monotone: r_n strictly increasing
-- no_return_to_critical: r_n approaches 2 = tau
-- The Mandelbrot connection (open conjecture):
axiom nBonacci_is_Hausdorff_dim (n : Nat) (hn : n >= 2) :
Exists (A : FractalSet), hausdorffDim A = nBonacciRoot n
-- If confirmed, dim_H(boundary M) = 2 = tau = lim r_n closes the loop.
-- Flag: Track 3 novelty triage -- search literature before claiming.