construction.vat-reverse-charge

def domestic_reverse_charge(supply: ReverseChargeSupply) -> ReverseChargeDecision

VatCategory = Literal["standard", "reduced", "zero", "exempt"]

ReverseChargeReason = Literal["reverse-charge", "before-start", "supplier-not-vat-registered", "customer-not-vat-registered", "not-reported-under-cis", "not-standard-or-reduced", "employment-business", "end-user-notified", "five-percent-disregard"]

@dataclass(frozen=True)
class ReverseChargeSupply:
    """The facts about one supply of construction services that decide its VAT treatment."""

    #: tax point of the supply
    supply_date: str
    #: the supplier is VAT registered in the UK
    supplier_vat_registered: bool
    #: the customer is VAT registered in the UK
    customer_vat_registered: bool
    #: payment for the supply is reported within the Construction Industry Scheme
    reported_under_cis: bool
    #: the rate the supply would bear under normal rules
    vat_category: VatCategory
    #: the supplier is an employment business supplying staff or workers
    employment_business: bool
    #: the customer has told the supplier in writing it is an end user or intermediary supplier
    end_user_notified: bool
    #: contracted value of the reverse charge services as a share of the whole supply; 10000 when all of it
    reverse_charge_share_basis_points: int

@dataclass(frozen=True)
class ReverseChargeDecision:
    """The treatment, why, and what the invoice must say."""

    applies: bool
    reason: ReverseChargeReason
    #: the note the invoice must carry when the reverse charge applies; null otherwise
    invoice_wording: Optional[str]

from fune.construction.vat_reverse_charge import domestic_reverse_charge  # construction.vat-reverse-charge@^1

import re

from .construction_vat_reverse_charge_data import REVERSE_CHARGE_RULES, REVERSE_CHARGE_RULES_HISTORY, REVERSE_CHARGE_RULES_HORIZON  ← this capability’s own data, compiled from data/reverse-charge.json into the same file by fune build
from .construction_vat_reverse_charge_types import ReverseChargeDecision, ReverseChargeReason, ReverseChargeSupply

ISO_DATE = re.compile(r"[0-9]{4}-[0-9]{2}-[0-9]{2}")


def _not_applied(reason: ReverseChargeReason) -> ReverseChargeDecision:
    return ReverseChargeDecision(applies=False, reason=reason, invoice_wording=None)


def domestic_reverse_charge(supply: ReverseChargeSupply) -> ReverseChargeDecision:
    """Whether the UK VAT domestic reverse charge for building and construction
    services (VATA 1994 s.55A) applies to one supply.

    The conditions are checked in a fixed order and the first that fails is the
    reason, so the answer is the same in every language and explains itself.
    """
    if not isinstance(supply.supply_date, str) or not ISO_DATE.fullmatch(supply.supply_date):
        raise ValueError('supplyDate must be an ISO date (YYYY-MM-DD), received "%s"' % (supply.supply_date,))
    share = supply.reverse_charge_share_basis_points
    if isinstance(share, bool) or not isinstance(share, int):
        raise TypeError("reverseChargeShareBasisPoints must be an integer, received %r" % (share,))
    if share < 0 or share > 10000:
        raise ValueError("reverseChargeShareBasisPoints must be between 0 and 10000, received %d" % (share,))
    if supply.vat_category not in ("standard", "reduced", "zero", "exempt"):
        raise ValueError(
            'unknown vatCategory "%s": expected standard, reduced, zero or exempt' % (supply.vat_category,)
        )

    date = supply.supply_date
    rule = None
    for row in REVERSE_CHARGE_RULES:
        if row.jurisdiction != "GB" or date < row.valid_from:
            continue
        if row.valid_to is not None and date > row.valid_to:
            continue
        if rule is None or row.valid_from > rule.valid_from:
            rule = row
    if rule is None:
        # A pruned build must not answer "before the reverse charge started" for
        # a date it simply no longer carries rules for.
        if REVERSE_CHARGE_RULES_HORIZON is not None and date < REVERSE_CHARGE_RULES_HORIZON:
            raise ValueError(
                "no reverse charge rule for %s: this build was installed with history=%s, "
                "so it only carries rules from %s. Reinstall with history=full."
                % (date, REVERSE_CHARGE_RULES_HISTORY, REVERSE_CHARGE_RULES_HORIZON)
            )
        return _not_applied("before-start")

    if not supply.supplier_vat_registered:
        return _not_applied("supplier-not-vat-registered")
    if not supply.customer_vat_registered:
        return _not_applied("customer-not-vat-registered")
    if not supply.reported_under_cis:
        return _not_applied("not-reported-under-cis")
    if supply.vat_category not in ("standard", "reduced"):
        return _not_applied("not-standard-or-reduced")
    if supply.employment_business:
        return _not_applied("employment-business")
    if supply.end_user_notified:
        return _not_applied("end-user-notified")
    if share <= rule.disregard_basis_points:
        return _not_applied("five-percent-disregard")
    return ReverseChargeDecision(applies=True, reason="reverse-charge", invoice_wording=rule.invoice_wording)

Install

fune build

With that line in your source, in a Python project (language python in fune.project), fune build resolves it and nothing else, pins them in fune.lock, downloads only the Python package of each, and builds the code above into your project’s .fune/build, one readable file per capability with a header linking back here. Or pin a range in fune.project and build in one step:

fune add construction.vat-reverse-charge

The manifest, vectors and README with only the Python implementation. Install it without the registry with fune add ./construction.vat-reverse-charge-1.0.2-python.fune, or fetch it from a terminal with fune pull construction.vat-reverse-charge@1.0.2:python.

The whole function, every language, is one file too: construction.vat-reverse-charge-1.0.2.fune, 35,697 bytes, sha256 da27d1183c7730bec44c1eddb84b28ee0e321a5d184e5d382e7eca4805b2fab4. It installs into a project of any language.

# fune: before construction.vat-reverse-charge

# fune: after construction.vat-reverse-charge

# fune: step construction.vat-reverse-charge after <n|label>

More from the author

The first condition that fails becomes the `reason`, so every answer explains itself and the three languages agree on which reason wins:

| reason | the reverse charge does not apply because | |---|---| | `before-start` | the tax point is before 1 March 2021 | | `supplier-not-vat-registered` | the supplier is not UK VAT registered (and charges no VAT at all) | | `customer-not-vat-registered` | the customer is not UK VAT registered, e.g. a householder | | `not-reported-under-cis` | the payment is not reported within the Construction Industry Scheme | | `not-standard-or-reduced` | the supply is zero-rated or exempt | | `employment-business` | the supplier is an employment business supplying staff or workers | | `end-user-notified` | the customer has said in writing that it is an end user or intermediary supplier | | `five-percent-disregard` | the reverse charge services are 5% or less of the whole supply | | `reverse-charge` | none of the above: it applies (`applies` is true) |

**End users and intermediary suppliers.** Being one only changes anything once the customer has told the supplier **in writing**. Until then HMRC says the supplier must still apply the reverse charge. An intermediary supplier is connected or linked to the end user, either with a relevant interest in the same land (landlord and tenant) or as part of the same corporate group (Companies Act 2006 s.1161). It gives the same kind of written notice, so both cases are the one `endUserNotified` flag rather than a separate connected-party input.

**The 5% disregard** is judged on the contracted values agreed at the start of the contract, not invoice by invoice. Pass that share as `reverseChargeShareBasisPoints` (10000 when the whole supply is construction services). The guide says "5% or less", so exactly 500 is disregarded, and normal VAT rules then apply to the whole supply. When the predominant element is zero-rated, the supply is not standard or reduced-rated in the first place, so `not-standard-or-reduced` is reported.

## Invoice wording

When the reverse charge applies, `invoiceWording` is "Reverse charge: customer to pay the VAT to HMRC. S55A VATA 94 applies." The VAT Regulations 1995 require the reference "reverse charge", and the other two phrases are HMRC's own examples ("Customer to pay the VAT to HMRC", "S55A VATA 94 applies"). The invoice must also show the VAT due under the reverse charge (or the rate, if the amount cannot be shown) without adding it to the amount charged. That is for the invoice itself; `finance.tax.add-vat` gives the amount.

The start date, the 5% threshold and the wording are dated data in `data/reverse-charge.json`. A `history=current` build refuses a date before its horizon rather than calling it `before-start`.

## Not covered

Credit notes spanning the March 2021 change, the transitional scaffolding rules, and whether a service is within CIS at all (that is the caller's `reportedUnderCis`). The CIS deduction itself is `construction.cis-deduction`.

## Sources

- HMRC, "VAT reverse charge technical guide": https://www.gov.uk/guidance/vat-reverse-charge-technical-guide (start date 1 March 2021, end users and intermediary suppliers, employment businesses, the 5% disregard, invoice wording). - HMRC, "How to use the VAT reverse charge if you supply building and construction services": https://www.gov.uk/guidance/how-to-use-the-vat-reverse-charge-if-you-supply-building-and-construction-services (the list of conditions). - HMRC, "VAT domestic reverse charge for building and construction services": https://www.gov.uk/guidance/vat-domestic-reverse-charge-for-building-and-construction-services

1.0.1 fixes Python accepting a trailing newline or non-ASCII digits in supplyDate; adds tests.

## Notices

Contains public sector information licensed under the Open Government Licence v3.0 (https://www.nationalarchives.gov.uk/doc/open-government-licence/version/3/).

1.0.2 adds its attribution notices (NOTICE). The code and the tests are unchanged.

Files