Да, верно. Я сбился (белиберду написал, устал, наверное; сам же объяснял, что VO создаётся каждый раз, и тут же "опечатался"; "зачеркнул"). Естественно, VO и Scope создаются каждый раз при вызове.

P.S.: надо бы сделать тег зачёркивания.

Тут еще интересно c чисто хозяйственной точки зрения :
а сохраняется ли [[Scope]] (d), если функция d не содержит переменных из своего [[Scope]], в этом случае вроде как бы оно и не нужно тратить память ?
Правда практически на тестах это не проверить никак .

var a = 10;
function b() {
  var c = 20;
  function d() {
    var e = 30;   alert( e);
  }
  d();
  return d;
}
var sav=b();

Ещё поправка - eval берёт VO того контекста, в котором он запущен: если из функции - AO, если из Global - Global.

Да, сохраняется.

function a() {
  var b = 10;
  function c() {
    function d() {
      alert(b);
    }
  }
}

Функция "с" не использует переменные из внешнего VO (ещё говорят: не имеет свободных переменных). Однако, функция "d" - использует. И черпает из Scope, частью которого является [[Scope]] (т.е. Scope вышестоящего контекста). Для "d", [[Scope]] - это Scope(c), и если в "c" не будет ссылки на вышестоящий контекст (где находится "b"), "d" не увидит "b".

Уточню - а сохраняется ли [[Scope]] (d), если функция d и все вложенные в нее функции не содержит переменных из [[Scope]](d) и не содержат операции eval , в этом случае вроде как бы оно и не нужно тратить память ?

И еще аналогичный вопрос :
А сохраняется ли Scope Chain контекста в котором мы сделали замыкание? Тоже, вроде как, ни к чему .
Т.е.

var a = 10;
function b() {
  var c = 20;
  function d() {
    var e = 30;   alert( e);
  }
  d();
  var savB=d; // Scope Chain (b) === [[Scope]](d)    Здесь сохранится ?
  return d;
}
var sav=b();

Да, сохраняется. В спецификации ничего по этому поводу не сказано, сказано лишь, что [[Scope]] однозначно записывается в функцию при её создании. Однако, может, какие-то реализации могут делать оптимизацию (только в однозначно определённых случаях, когда точно известно, что функция не использует ничего извне), но это лишь предположение. С другой стороны, в функции может стоять if, внутри которого будет eval(...), использующий свойства из [[Scope]]. Или же функция может вызывать себя рекурсивно по имени (имя также находится в [[Scope]]).

2 Dmitry A. Soshnikov> Это ответ на первый или второй вопрос, во втором случае вроде как незачем сохранять Scope Chain ?

var a = 10;
( function b() {
  var c = 20;
  function d() {
    var e = 30;   alert( e+c+a);
  }
  d();
  var savB=d; // Scope Chain (b) === [[Scope]](d)    Зачем Здесь хранить Scope Chain (b)  ?
  return d;
} ) ()

На оба. Повторю - в спецификации сказано, что [[Scope]] записывается в функцию однозначно при её создании. Всё остальне - можно лишь додумывать, либо анализировать исходники реализаций ECMA.

Возможно, какая-нибудь из реализаций не сохраняет [[Scope]] для оптимизации в функции вида function a() {}. Но, ещё раз, в спецификации ничего не сказано об этом.

Спецификация она, того..., не очень однозначно толкуется :
Может он-то и записывается , но записывается ссылка на него, но его содержимое ... , короче, вот :

var a = 10;
function b() {
  var c = 20;
  function d() {
    var e = 30;   al( e+c+a);
  };
  // Замыкаем на savB
  var savB=d; // Scope Chain (b) === [[Scope]](d)    Зачем Здесь хранить Scope Chain (b)  ?
  savB(); // 60
  c=0;    // Если бы VO(b) законсервировался при замыкании, то это изменение 
          // не оказало бы воздействия на последующий вызов через Замыкание: 
  savB(); // 40 <- Scope Chain (b), т.е. VO(b) - не законсервировался
  return savB;
};
var s=b(); 
s();      //40 <- Scope Chain (b), т.е. VO(b) - Законсервировался, но Global - нет.

Запросто. Оптимизация может быть какой угодно, лишь бы внешне всё было в рамках стандарта, функцию можно предварительно проанализировать и не создавать то, что в ней не используется, например, 'arguments'... etc.

Да, это динамическая цепь (есть ещё и статическая; подробней, можно в вики почитать). Найденное в Scope chain значение, всегда будет последним присвоенным (связанным) значением этой переменной. Чтобы это предотвратить (а такие случаи бывают нужны - например, при замыкании счетчика цикла) - создают новую функцию с новым VO - т.е. передают нужное значение (счетчик цикла) параметром в создаваемую функцию.

Просто ссылка. d - уже замыкание.

Ну а как? - в "d" есть свободные переменные.

Здесь динамический scope chain, представляющий из себя стек (т.е. найдётся последнее присвоенное значение первого совпавшего имени переменной, начиная с вершины этого стека, т.е. с VO). Поэтому, ничего здесь не "консервируется", как в статическом лексическом контексте.

Ничего не "законсервировалось" (снова - динамический Scope): "c" имеет правильное, последнее присвоенное, значение - 0, "а" - правильное, последнее, единожды присвоенное, значение - 10.

Да, теоретически, и по логике вещей, конечно должны. Но, спецификация этого не отмечает. А точно узнать - можно лишь, проанализировав исходники реализаций.