https://lawngno.me/blog/2024/06/10/divine-provenance.html
tl;dr
@BB_C Yes, implemented here: https://gitlab.com/lib.rs/main/-/blob/main/tarball/src/comparator.rs?ref_type=heads