Proposed resolution:

This wording is relative to N4835.

[Drafting note: I've chosen to provide wording for the conservative "define behavior for advance and leave prev as status quo" middle ground.

The occurrences of "|" in the below are math-font vertical bars (indicating absolute value). I've changed both positive and negative cases for consistency of presentation. ]

1. Modify [iterator.operations] as indicated:

   template<class InputIterator, class Distance>
     constexpr void advance(InputIterator& i, Distance n);
   

   -2- Expects: n is negative only for bidirectional iterators.

   -3- Effects: Increments i by |n| if n is non-negative, and decrements i by -|n| otherwise.

2. Modify [range.iter.op.advance] as indicated:

   template<input_or_output_iterator I>
     constexpr void ranges::advance(I& i, iter_difference_t<I> n);
   

   -1- Expects: If I does not model bidirectional_iterator, n is not negative.

   -2- Effects:

   1. (2.1) — If I models random_access_iterator, equivalent to i += n.

   2. (2.2) — Otherwise, if n is non-negative, increments i by |n|.

   3. (2.3) — Otherwise, decrements i by -|n|.

   […]

   template<input_or_output_iterator I, sentinel_for<I> S>
     constexpr iter_difference_t<I> ranges::advance(I& i, iter_difference_t<I> n, S bound);
   

   -5- Expects: […]

   -6- Effects:

   1. (6.1) — If S and I model sized_sentinel_for<S, I>:

      1. (6.1.1) — If |n| ≥ |bound - i|, equivalent to ranges::advance(i, bound).:

      2. (6.1.2) — Otherwise, equivalent to ranges::advance(i, n).

   2. (6.2) — Otherwise,

      1. (6.2.1) — if n is non-negative, while bool(i != bound) is true, increments i but at most |n| times.:

      2. (6.2.2) — Otherwise, while bool(i != bound) is true, decrements i but at most -|n| times.