https://github.com/nhaehnle approved this pull request. I didn't go over the core.py implementation with a comb, but this looks reasonable to me. Thanks! https://github.com/llvm/llvm-project/pull/97369