ordinal(buchholz): head-Ω Slice 2 closure + inversion + cross-doc + ledger reinforcement

ordinal(buchholz): head-Ω Slice 2 closure + inversion + cross-doc + ledger reinforcement #546