Function check_ceilings 

pub fn check_ceilings(
    items: impl IntoIterator<Item = Posting>,
) -> Result<(), String>

Validate id order and ceilings for any sequence of postings, in list order. Shared by the RAM list and the storage adapters’ tests.