Event Log Transformations

Compares two object-centric event logs: strict equality across every relation, structural equivalence up to identifier and generated-type renaming (a bounded 1-WL color-refinement bijection with a capped backtracking search), reciprocal coverage percentages when they differ, and suspected automatic renames (case, whitespace or normalization — e.g. a SQLite export sanitizing a table name) on object-type, event-type and attribute names. The structural verdict is an explicitly bounded approximation, reported as undetermined rather than guessed when the search budget is reached.