Designing an explainable sync ledger for watch state across media servers

Watch-state synchronization looks simple until the same episode has four provider identities, a...