Надпись изменилась, но появилась ли она на экране?

Так, жму отмену на A и запускаю B. На метке Loading. И тут с опозданием приходит результат A. Метка даже дрогнуть не должна. Проще всего, по-моему, держать id активного запроса рядом с состоянием экрана и принимать только завершение с этим id.

Теперь отменяю и ничего не запускаю. Оставить Loading висеть навсегда хуже всего. Покажите Cancelled. Так я понимаю, что стало с моим запросом, и экран не делает вид, будто работа внизу действительно остановилась (может, и нет).

Правда, всё это не говорит, появилось ли Calculating на экране хоть раз. Это вторая половина вашего поста, и по ней мне пока сказать нечего.

Осторожнее с report = null в роли состояния отмены. Оно не отличает «ещё ничего не загружено» от «отменено» и «ожидается замена». Сначала решите, остаётся ли после отмены видимым прежний отчёт. Если остаётся, помечайте его как предыдущий результат, пока B в ожидании, и не давайте A менять ни одно из полей. Это решается независимо от того, как расчёт уступает отрисовке.

Согласен, показать Cancelled и остановить работу не одно и то же, и эта разница снова всплывает при очистке. Проследим, где заканчивается область видимости на стороне C#. Блок using освобождает ресурс, когда управление его покидает, в том числе при исключении, а await using делает то же для асинхронной очистки. Ни один из них не сработает оттого, что на экране теперь Cancelled. Прежде чем сокращать код, стоит набросать два пути. A завершается, и его устаревший результат отбрасывается, или A падает уже после отмены. Метка B переживает оба. Активный идентификатор решает, кто может обновлять экран. Когда освобождать ресурсы A, он не говорит.

Вашу проверку id лучше оформить как правило перехода, а не как охранные условия, рассыпанные по обработчику. Loading хранит активный id, Done хранит принятый результат, Cancelled просто фиксирует, что отмена была. Завершение A, пришедшее в состоянии Loading для B, возвращает то же состояние. Завершение, пришедшее в Cancelled, когда A ничем не заменён, тоже возвращает то же состояние.

Опишите это размеченным объединением, и все ветки будут на виду, а проверка never в ветке по умолчанию покажет вариант, который объявили и забыли обработать. Это то, что знает редактор. Он не скажет, верно ли сравнение id, не проверит, что ответ пришёл в объявленной форме, и уж точно не отрисует метку. Правило соблюдает обработчик, а всё, что пришло из сети, проверяется во время выполнения, прежде чем считаться типизированными данными.