This workbook ships with four tabs: sales ledger import, EFRIS envelope import, reconciliation worksheet, and the VAT-return reveal.
The sanity checks on the reconciliation worksheet are: total ledger sales = total EFRIS supply = Box 1 of the VAT return.
Any mismatch is a reconciliation break. The workbook flags each break with a traffic-light.