Let $m, n, p \in \{1,2,\dots\}$, let $q, r \in \{0,1,\dots\}$, let $D$ be a non-empty, open subset of $\mathbb{R}^m$, let $E$ be an open subset of $\mathbb{R}^n$, let $f : D\rightarrow E$ be $q$ times partially differentiable, and let $g : E\rightarrow\mathbb{R}^p$ be $r$ times partially differentiable.
What is the greatest lower bound $s \in \{0,1,\dots\}\cup\{\infty\}$ on the number of times $g\circ f$ is necessarily partially differentiable?
Suppose, moreover, that $f$'s $q$-degree partial derivatives and $g$'s $r$-degree partial derivatives are all continuous. Are $g\circ f$'s $s$-degree partial derivatives continuous (assuming $s<\infty$)?
It's a partial answer, but I've found the following proposition on p. 58 of James Munkres' *Analysis on Manifolds", Westview Press (1991):
The symbol $C^r$ is defined on p. 52 as follows.