Directory diff

Compare yesterday's and today's exports of a company directory and list what changed.

Each export is a list of rows "id|name|team|title": four fields separated by |, where id is a whole number without leading zeros and the other three may be empty. Fields never contain |.

Within one export, an id may appear on several rows (the exporter sometimes repeats rows); only the last row for that id counts.

Two values of a field are the same if they are equal after trimming leading and trailing spaces and ignoring upper/lower case, so "Billing " and "billing" are not a change. Everywhere a value is printed, print it trimmed and in its original case, and print an empty value as (none).

Report, for every id that appears in either export:

• in new_rows only: "+ id name" (the new name);
• in old_rows only: "- id name" (the old name);
• in both with at least one differing field: one line "~ id field: old -> new" for each differing field, in the order name, team, title;
• in both with no differing field: nothing.

Input: old_rows and new_rows, lists of strings in the format above.

Output: a list of strings with the lines above, ordered by id as a number ascending (9 before 10); the lines of one id stay together in the order given. If nothing changed, return [].