Edits to the non-bidirectionalizable part of the target model should be disallowed in editors, by checking if the edit fits in the partial model.