I think the jacobs ladder is basicly a metafor for the different approximations we use for the exchange functional. the lowest step represents the lowest calculation cost and the lowest accuracy. when we go higher the accuracy and cost will both rise. the highest step represents the exact functional.