おおさか東線と愛称・正式名称

教えてgoo・おおさか東線とはニックネーム呼称か正式名称でしょうか
　
なんだかニックネーム説が多数みたいです。ウィキペディア・おおさか東線でも、『開業後はJRグループでは唯一の「路線の正式名称にひらがなが含まれる路線」となる』との記述が、「正式名称は片町線である」との理由で削除された（http://ja.wikipedia.org/w/index.php?title=%E3%81%8A%E3%81%8A%E3%81%95%E3%81%8B%E6%9D%B1%E7%B7%9A&oldid=14420407）こともあります。
ただですね、事業基本計画（とそれを基にした鉄道要覧）によると、ウィキペディア記述削除当時（そして現在）は、ＪＲ西日本の「片町線」（放出〜八尾）とは別に、未開通線として大阪外環状鉄道の「大阪外環状線」が登録されているので、両方が正式名称である、といえるはずです。
つまり、事業基本計画では、
　
１．大阪外環状鉄道　３種　大阪外環状線　新大阪〜久宝寺
２．西日本旅客鉄道　１種　片町線　　　　放出〜八尾
　　　（日本貨物鉄道　同区間　２種）
　
の２本が同時に記載されています。というわけで（事業基本計画での記述が正式名称である、というのであれば）、「大阪外環状線」は立派な正式名称であり、これがもしそうでないとするならば、大阪外環状鉄道はいったいどの路線についての事業免許を取得したのかが不明になります。
なお、最近ＪＲ西は同区間について廃止届出書を国交省に提出しており、それ以後は当然に「大阪外環状線」が正式名称になるはずです。「おおさか東線」になるかどうかは不明ですが。