Почему изменяемые лямбда-выражения, захватывающие инициализацию, не могут иметь изменяемые элементы данных?

Этот вопрос связан с предыдущим, где было замечено, что mutable лямбды init-capture несовместимы с диапазоном Boost и итератором transform для некоторых довольно неясных и глубоко вложенных сбоев typedef, которые могут или не могут быть легко устранены путем взлома исходников Boost.Range.

В принятом ответе предлагалось хранить лямбда в объекте std::function. Чтобы избежать потенциальных накладных расходов на вызов функции virtual, я написал два объекта функций, которые могли бы служить потенциальными обходными путями. В приведенном ниже коде они называются MutableLambda1 и MutableLambda2.

#include <iostream>
#include <iterator>
#include <vector>
#include <boost/range/adaptors.hpp>
#include <boost/range/algorithm.hpp>

// this version is conforming to the Standard
// but is not compatible with boost::transformed
struct MutableLambda1
{
    int delta;     
    template<class T> auto operator()(T elem) { return elem * delta++; }
};

// Instead, this version works with boost::transformed
// but is not conforming to the Standard
struct MutableLambda2
{
    mutable int delta;
    template<class T> auto operator()(T elem) const { return elem * delta++; }
};

// simple example of an algorithm that takes a range and laziy transformes that
// using a function object that stores and modifies internal state
template<class R, class F>
auto scale(R r, F f) 
{
    return r | boost::adaptors::transformed(f);
}

int main()
{
    // real capturing mutable lambda, will not work with boost::transformed
    auto lam = [delta = 1](auto elem) mutable { return elem * delta++; };        
    auto rng = std::vector<int>{ 1, 2, 3, 4 };

    //boost::copy(scale(rng, lam), std::ostream_iterator<int>(std::cout, ","));                 /* ERROR */
    //boost::copy(scale(rng, MutableLambda1{1}), std::ostream_iterator<int>(std::cout, ","));   /* ERROR */
    boost::copy(scale(rng, MutableLambda2{1}), std::ostream_iterator<int>(std::cout, ","));     /* OK!   */
}

Живой пример, который не компилирует строки с lam и MutableLambda1, и правильно печатает 1, 4, 9, 16 для строки с MutableLambda2.

Однако проект стандарта упоминает