Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 4 Nov 2026. What's built · Install 0.2.0
jadpo
ReferenceTax and identity numbers

LanguageValues and typesStandard types

Tax and identity numbers

Tax numbers, company numbers and identity documents.

Topics

Cards and identity documents

Cards and identity documents are numbers a person holds: a card's brand and last four digits, its expiry, a VAT number or tax id, a passport or a driving licence.

Groups with the baseline only

Many standard types are a value with a check and nothing more: an IBAN, a card number, a barcode, an NHS number.

Types

TypeWhat it is
VatNumberA VAT registration number, with its country's code at the front: GB980780684.
TaxIdA taxpayer's identification number, with the country that issued it.
UkUtrA UK Unique Taxpayer Reference: ten digits.
UkCompanyNumberA UK company's number at Companies House: 00445790 or SC123456.
UkNationalInsuranceNumberA UK National Insurance number: AB123456C.
UsSsnA US Social Security number: nine digits.
UsEinA US Employer Identification Number, for a business: nine digits.
PassportNumberA passport's number, with the country that issued it.
DrivingLicenceNumberA driving licence's number, with the country that issued it.
IdentityDocumentAn identity document: its kind, the country, its number and when it expires.
IdentityDocumentKindWhat kind of identity document one is: passport, identity_card, driving_licence or residence_permit.
NhsNumberAn NHS number, the patient identifier in England, Wales and the Isle of Man: ten digits.

Markdown for agents: /docs/types-tax-and-identity-numbers.md.Built from Jadpo main at 6cc3cb4.