[ruby-list:48869] Re: Objectの下にKernel等に定義された定数と同名のモジュール／クラスを定義出来ない

少し疑問点を整理してみました。

module C::X; end
と書くと多分手順としては
1 定数Cを評価してクラスCを得る
2 クラスCに定数Xが定義されているかチェックする（親クラスなどは一切見ない）
3 定義されていなければ作成し、されていてモジュールなら再オープンする。モジュールじゃなければエラー
となりますよね？

module Object::X; end
と書いた場合、2でObjectだけでなくそのancestorsも見るのだと思いますが、それにはどういう理由があるんでしょう。
クラスとかが定数扱いされるということからこの仕様を導く理屈が思いつきません。