Manifold capture theory (subspace capture / tiling / dilution)

A formal criterion for when a sparse dictionary (e.g. an SAE) 'captures' a known manifold — a small, fixed group of atoms whose span contains it and whose encoder consistently selects that group — plus a taxonomy of three regimes (compact capture, shattering/tiling, dilution) describing how real dictionaries fall short of that ideal.