This was a pretty long project and a lot of fun once I deferred working through the proofs (I'm curious to take another stab at a deeper level and won't be surprised to have appetite for one more after)
Desireable outcomes when designing the algorithms, practical consequences and the lineage are very approachable otherwise