I first thought of your always minima lookup as binary tree search and noticed u mentioned its sorted so no need to, its bisect & search. Then i saw the invariants you mentioned