Would someone please describe how the conflicts are resolved in these two scenarios of elevation assignment?  The manual does not seem to describe what happens in the relevant "verify assignment" section.

Given a three layer model, I assume bottom up means that the bedrock is set at the defined elevations, and then the overlying soil stratigraphy is checked for minimum distance and this distance is set.  Then the next slice in the overlying strat is set at its elevations, for those nodes where there is not conflict with the underlying bedrock which can now be considered fixed. Finally the overlying soil straigraphy stratigraphy slice is compared to the topography slice to ensure a minimum distance between is upheld.  If this is not upheld, the topography is adjusted upwards.

And top down would be the reverse.  So the topo would be set and everything below pushed down to maintain a minimum distance.

Is this correct?

Also, after assigning the new elevations, I have edges from slice 3 showing above the domain of slice 2.  Is this just a result of a very thin slice in these areas, or is there a possible problem with slice 3 rising above slice 2?