Function geometry_agrees 

pub fn geometry_agrees(old: &Value, new: &Value) -> bool

Whether new is the same analytic carrier as old: the same class, and the same plane / axis / circle / line / point / sphere within tolerance (a plane must keep its sense: a flipped face is a different face). This is what a mate actually resolves against, so a split face’s piece agrees.