Define default, recovery and credit migration. Walk through structural vs. reduced-form models and see how ratings, leverage and cyclical forces feed into spread moves.