If you have a panelboard rated 22k AIC, and you install a breaker rated only 10k AIC, and assuming no series combo ratings, is the complete setup rated 10k or 22k?

Where is this addressed in the NEC?

Thanks

Rick Miell