原です。

> KDDの酒本と申します。

> GCがどのように作用するのかいまだに判っていないのですが、

> ・ローカル変数のスコープを出るときに始末の対象になる

この言い回しは少し誤解を招きやすいのでは?
オブジェクトの存在とそれを参照する変数のスコープとは一
応独立ですよね。例えば、

def foo
  a = Bar.new
  return a
end

b = foo
...

とすれば、Bar のインスタンスは変数 a のスコープから抜けて
も b が参照している限り存在している、、、。もちろん、スコ
ープを抜けた途端に参照がなくなる場合も多いでしょうが。