Conceptually, these deduction rules operate by  first computing inside scores bottom-up in the coarsest grammar, then outside scores top-down in the same grammar, then inside scores in the next finest grammar, and so on.
the crucial aspect of HA * is that items from all levels of the hierarchy compete on the same queue, interleaving the computation of inside and outside scores at all levels.