We develop the abstract framework for a proofātheoretic analysis of theories with scope beyond the ordinal numbers, resulting in an analog of ordinal analysis aimed at the study of theorems of complexity normalĪ 21$\Pi ^1_2$. This is done by replacing the use of ordinal numbers by particularly uniform, wellfoundedness preserving functors on the category of linearĀ orders. Generalizing the notion of a proofātheoretic ordinal, we define the functorial normalĪ 21$\Pi ^1_2$ norm of a theory and prove its existence and uniqueness for normalĪ 21$\Pi ^1_2$āsound theories. From this, we further abstract a definition of the normalĪ£21$\Sigma ^1_2$ā and normalĪ 21$\Pi ^1_2$āsoundness ordinals of a theory; these quantify, respectively, the maximum strength of true normalĪ£21$\Sigma ^1_2$ theorems and minimum strength of false normalĪ 21$\Pi ^1_2$ theorems of a given theory. We study these ordinals, developing a proofātheoretic classification theory for recursively enumerable extensions of sans-serifACAsans-serif0${\mathsf {ACA_0}}$. Using techniques from infinitary and categorical proof theory, generalized recursion theory, constructibility, and forcing, we prove that an admissible ordinal is the normalĪ 21$\Pi ^1_2$āsoundness ordinal of some recursively enumerable extension of sans-serifACAsans-serif0${\mathsf {ACA_0}}$ if and only if it is not parameterāfree normalĪ£11$\Sigma ^1_1$āreflecting. We show that the normalĪ£21$\Sigma ^1_2$āsoundness ordinal of sans-serifACAsans-serif0${\mathsf {ACA_0}}$ is Ļ1CK$\omega _1^{CK}$ and characterize the normalĪ£21$\Sigma ^1_2$āsoundness ordinals of recursively enumerable, normalĪ£21$\Sigma ^1_2$āsound extensions of normalĪ 11$\Pi ^1_1$āsans-serifCAsans-serif0${\mathsf {CA_0}}$.