I.D42 — D-Differentiability

A function f: H_tau -> H_tau is D-differentiable if in sector coordinates (u,v) = (a+b, a-b), it decomposes as f(u,v) = (g(u), h(v)). Formalized as SectorFun: a pair (g, h) of sector component maps.