観測ドームの上に北斗七星があります。
四隅の流れ（伸び）の原因が歪曲収差なのか、巷に言われる広角パースなのか確認するため、北極星を入れて撮ってみました。条件は先の物と同じISO800, 180秒, f4, 12mmです。
やはり星が伸びておらず、原因は歪曲収差だと思いました。歪曲収差が少ない明るいレンズか、フィッシュアイレンズだと良い感じで撮れると思います。