proof(ordinal): doubled-ladder rank foundation (equal-Ω cross-index fix, Slice 1)

proof(ordinal): doubled-ladder rank foundation (equal-Ω cross-index fix, Slice 1) #682