Fix #1244: Track and verify required semantic compliance