proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block)

proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block) #680