Don, Would the NEC allow a breaker rated lower than the prospective fault current if there is a properly rated OCPD upstream?
We commonly use domestic breakers rated 6000A AIC here on supplies capable of delivering a much higher current. The higher AIC rating of the main cartridge fuse is considered adequate protection against a dead short.