Intent of counts_are_correctly_propagated, sharp_signal:_transition_at_commit_index_3

All 4 exact tests in this concept. Every test is marked by where it enters the hierarchy.