When derating film, I've always treated the development times as "correct for proper exposure". So I may shoot a nominally ISO 400 film at 320, but it's still developed by the listed times for ISO 400. The massive dev chart does give some suggestions for pulling and pushing times without published guidelines, but I dont treat derating for true speed as a pull.