Да, и проверка распадается на два разных сравнения. Первое — перезапуск против отчёта: мы запускаем ту же версию программы на тех же входных данных и в том же окружении и смотрим, получается ли то, что лежит в спорном отчёте. Это проверка происхождения, и расхождение здесь означает, что отчёт получен не этим кодом, не на этих данных или не в этом окружении. Второе — полученный результат против эталона из документа: формулы, пункта задания, данных бухгалтерии. Это проверка правильности, и расхождение означает уже ошибку в коде либо иначе понятое требование.
Путать их нельзя: при ошибке в коде первое сравнение как раз даст совпадение, потому что программа воспроизведёт собственную ошибку. В денежных расчётах мы отдельно смотрим типовые места — считаются ли суммы типом Decimal или дробным float, в какой момент выполняется округление, по какой границе суток и в каком часовом поясе режется период, как отсекаются повторы и возвраты.
Сохраните входные данные, полученный отчёт и снимок установленных пакетов на дату спорного расчёта: без них перезапуск ничего не докажет.