Отличить отмену команды от отмены резерва

Фактические данные получены через SQLSRV от отдельного SQL Server. Созданные программой учебные таблицы удалены после чтения.

Наблюдаемый результат программы
Наблюдение	Результат
До резерва	10
UPDATE изменил строк	1
cancel команды успешен	да
Свое соединение после cancel видит	8
Транзакций после cancel	1
Явный rollback успешен	да
После rollback доступно	10
Транзакций после rollback	0

Строки и дополнительные наблюдения

{
    "available_before": 10,
    "available_after_completed_update_and_cancel": 8,
    "transaction_count_after_cancel": 1,
    "available_after_rollback": 10
}

При самостоятельном запуске рядом с example.php создаются result.json с данными и metrics.json с проверками.