穴が開いた場合のことを考えれば、確かに区画化したほうがいいけど、
そもそもコロニーに穴の開くような事故が起きる確率はどの程度の
ものなんだろうか?
100年に一度程度の確率なら区画化もしくはその代替案を考えるべき
だろうけど、100万年に一度という確率ならいらないような気もする。