Determine whether the current state is "dominated" by any previous
detach state for this entry, in which case we know that all the required
fields will already be in the detached copy.
(Dominance is transitive, so we can remove redundant entries)
true if we can prove the current state is fully detached already