If you are targeting Java 17 (as this project is), then you should not use types like Pair and Triplet (say, from the org.javatuples package). A record is very little code to define, is type-safe, and is much more readable at uses.
I have never worked with records before, so it might take me a little time to figure this out. I'm swamped with more high-priority issues, I'll take a look at this when I'm a bit more free.
If you are targeting Java 17 (as this project is), then you should not use types like
Pair
andTriplet
(say, from theorg.javatuples
package). A record is very little code to define, is type-safe, and is much more readable at uses.