Oops, yes, now Metrics Solver works in G3.
Yes, I guess those over-defined metrics would act more like an assertion. In recent years, I found assertions to be incredibly useful when programming. Maybe there are other things in type design and font engineering where assertions could be useful?