Proposed by the 2026-07-07 jab multi-agent review; confirmed by both skeptic verifiers. Every get/range/prefix/seek pays a full O(m log m) introsort on a warm memtable where one O(log m) binary search is expected.
querySources() runs idx.mem.sort() unconditionally whenever mem.size > 0 (jab cont.cpp:711); called by idx.get, idx.range/prefix, idx.seek._sort_<lane> leaf (hit.hpp:91-103) -> sSort introsort (dog/abc/QSORTx.h:130) with no already-sorted early exit; no dirty/sorted flag exists anywhere in the path.