No clue about the global state issue, the meta tracking type does filter out invalid files. Unless any of the versions run an old version (i.e. pre global invalid times, I think 0.14.41 or so), then I have an idea: The pre-global-invalid device will not announce the ignored file -> other devices still think it has a valid copy. I’d think this would something in the web UI to display out of sync, but I didn’t actually check this scenario against the code. Please give us the versions of the devices.
The double deleted files in the recent changes list are clear: The action field is set in a switch statement where IsDeleted() precedes IsInvalid(), which certainly is wrong.