I wonder if this is a natural problem of the code not being a 1 on 1 reflection of the proposed model (or a superset which includes the proposed model), as well

I wonder if this is a natural problem of the code not being a 1 on 1 reflection of the proposed model (or a superset which includes the proposed model), as well negligence in not syncing them up when something changes, which isn't a problem with code (just generate it again). Often, the thing worse than no mental model, is an inconsistent mental model sending you in the wrong direction.