Centralize static spec checks in validator; run as pre-flight before transform/compile/invert