- Sort primitive arrays with stable native ordering and pure conversion keys. - Preserve sparse semantics and argument effects while avoiding callback overhead. - Verify Unicode ordering and ownership across native and WASI paths.