A lot of this code is just doing assertions/invariants. It'd be helpful to pull these out into helper functions to make the logic clearer and also so these invariants can be reused from a different context later in the PIT catalog project.