During a snapshot, the current state of the metabase is exported into an XML file. During an M-I difference, the metabase is re-exported and compared against the original XML file. The standard XML differentiator is used to generate differences between these files.