@open-nav/core 0.1.0

package/dist/validation/rules.js

@@ -0,0 +1,290 @@
+import { Decimal } from '../money/decimal.js';
+import { checkInvoiceSummary, hasAmountBearingLines } from '../money/summary.js';
+import { isValidCountyCode, isValidTaxpayerId } from './tax-number.js';
+/** Current Hungarian VAT rates, for a plausibility warning only. */
+const KNOWN_VAT_RATES = ['0', '0.05', '0.18', '0.27'];
+/**
+ * Faults NAV reports that no local validator can decide, because they depend
+ * on NAV's own records. Documented so the coverage of this module is honest.
+ */
+export const LOCALLY_UNDECIDABLE = [
+    'INVOICE_NUMBER_NOT_UNIQUE',
+    'INVALID_INVOICE_REFERENCE',
+    'INVALID_ANNULMENT_REFERENCE',
+    'MULTIPLE_INVOICES_FOUND',
+    'MODIFICATION_INDEX_NOT_UNIQUE',
+    'MODIFY_WITHOUT_MASTER_MISMATCH',
+    'INVOICE_TYPE_MISMATCH',
+    'INVOICE_LINE_ALREADY_EXISTS',
+    'ANNULMENT_IN_PROGRESS',
+    'CUSTOMER_NOT_ASSIGNED',
+    'INCORRECT_HEAD_DATA_CUSTOMER_TAX_NUMBER',
+];
+export function collectBusinessIssues(document, collector, context = {}) {
+    checkDocument(document, collector, context);
+    const single = document.invoiceMain.invoice;
+    if (single) {
+        checkInvoice(single, '', collector, context);
+        return;
+    }
+    const batch = document.invoiceMain.batchInvoice ?? [];
+    // A batch modification document exists to amend several invoices at once;
+    // one entry means it should have been a plain modification.
+    if (batch.length === 1) {
+        collector.error('BATCH_INVOICE_CARDINALITY_ERROR', 'invoiceMain.batchInvoice', 'a batch document must amend at least two invoices, found 1');
+    }
+    let previous = 0;
+    for (const [position, entry] of batch.entries()) {
+        if (entry.batchIndex <= previous) {
+            collector.error('BATCH_INDEX_NOT_SEQUENTIAL', `invoiceMain.batchInvoice.${position}.batchIndex`, `must be strictly ascending, ${entry.batchIndex} follows ${previous}`);
+        }
+        previous = entry.batchIndex;
+        checkInvoice(entry.invoice, `invoiceMain.batchInvoice.${position}.`, collector, context);
+    }
+}
+function checkDocument(document, collector, context) {
+    const today = context.today ?? new Date().toISOString().slice(0, 10);
+    if (document.invoiceIssueDate > today) {
+        collector.error('INCORRECT_DATE_INVOICE_ISSUE_DATE_LATE', 'invoiceIssueDate', `is in the future: ${document.invoiceIssueDate} (today is ${today})`);
+    }
+    // completenessIndicator asserts that the report *is* the invoice, which only
+    // makes sense for an invoice that exists in electronic form.
+    if (document.completenessIndicator) {
+        const appearance = document.invoiceMain.invoice?.invoiceHead.invoiceDetail.invoiceAppearance;
+        if (appearance !== undefined && appearance !== 'ELECTRONIC') {
+            collector.error('INVOICE_COMPLETENESS_NOT_ALLOWED', 'completenessIndicator', `is set, which requires invoiceAppearance ELECTRONIC, but it is ${appearance}`);
+        }
+        if (document.invoiceMain.batchInvoice !== undefined) {
+            collector.error('INVOICE_COMPLETENESS_NOT_ALLOWED', 'completenessIndicator', 'cannot be set on a batch document');
+        }
+    }
+}
+function checkInvoice(invoice, prefix, collector, context) {
+    const at = (path) => `${prefix}${path}`;
+    const head = invoice.invoiceHead;
+    const detail = head.invoiceDetail;
+    const lines = invoice.invoiceLines?.line ?? [];
+    const isModification = context.operation === 'MODIFY' || context.operation === 'STORNO';
+    // --- references -------------------------------------------------------
+    if (isModification && invoice.invoiceReference === undefined) {
+        collector.error('INVOICE_REFERENCE_EXPECTED', at('invoiceReference'), `is required for a ${context.operation} operation`);
+    }
+    if (context.operation === 'CREATE' && invoice.invoiceReference !== undefined) {
+        collector.error('INVOICE_REFERENCE_NOT_EXPECTED', at('invoiceReference'), 'an original invoice must not reference another document');
+    }
+    // --- parties ----------------------------------------------------------
+    const supplierId = head.supplierInfo.supplierTaxNumber.taxpayerId;
+    if (context.supplierTaxNumber !== undefined && supplierId !== context.supplierTaxNumber) {
+        collector.error('SUPPLIER_TAX_NUMBER_MISMATCH', at('invoiceHead.supplierInfo.supplierTaxNumber.taxpayerId'), `is ${supplierId} but the request authenticates as ${context.supplierTaxNumber}`);
+    }
+    checkTaxNumber(supplierId, head.supplierInfo.supplierTaxNumber.countyCode, at('invoiceHead.supplierInfo.supplierTaxNumber'), collector);
+    const customer = head.customerInfo;
+    const customerId = customer?.customerVatData?.customerTaxNumber?.taxpayerId;
+    if (customer) {
+        checkCustomer(customer, at('invoiceHead.customerInfo'), collector);
+    }
+    if (customerId !== undefined && customerId === supplierId) {
+        collector.error('SUPPLIER_CUSTOMER_MATCH_TAXPAYER', at('invoiceHead.customerInfo'), `the customer's tax number ${customerId} is the supplier's own`);
+    }
+    // --- dates ------------------------------------------------------------
+    if (detail.invoiceDeliveryPeriodStart !== undefined &&
+        detail.invoiceDeliveryPeriodEnd !== undefined &&
+        detail.invoiceDeliveryPeriodStart > detail.invoiceDeliveryPeriodEnd) {
+        collector.error('INCORRECT_DATE_INVOICE_DELIVERY_TO_FROM', at('invoiceHead.invoiceDetail.invoiceDeliveryPeriodStart'), `${detail.invoiceDeliveryPeriodStart} is after the period end ${detail.invoiceDeliveryPeriodEnd}`);
+    }
+    // --- lines ------------------------------------------------------------
+    if (lines.length === 0 && context.operation === 'CREATE') {
+        collector.error('INVOICE_LINE_MISSING', at('invoiceLines'), 'an invoice must have lines');
+    }
+    let previousLineNumber = 0;
+    for (const [position, line] of lines.entries()) {
+        const linePath = at(`invoiceLines.line.${position}`);
+        if (line.lineNumber <= previousLineNumber) {
+            collector.error('LINE_NUMBER_NOT_SEQUENTIAL', `${linePath}.lineNumber`, `must be strictly ascending, ${line.lineNumber} follows ${previousLineNumber}`);
+        }
+        previousLineNumber = line.lineNumber;
+        checkLine(line, linePath, detail.exchangeRate, collector, context);
+    }
+    // --- line and summary must describe the same kind of invoice ----------
+    checkLineSummaryConsistency(lines, invoice.invoiceSummary, at(''), collector);
+    // --- arithmetic -------------------------------------------------------
+    if (hasAmountBearingLines(invoice)) {
+        for (const issue of checkInvoiceSummary(invoice)) {
+            collector.error(summaryFaultCode(issue.path), at(issue.path), issue.message);
+        }
+    }
+}
+/**
+ * The NAV fault code for a summary discrepancy.
+ *
+ * NAV distinguishes these carefully and the suffixes carry the meaning: a
+ * `_LINE` code means the lines disagree with the summary, a `_SUMMARY` code
+ * means the per-rate figures disagree with the invoice total, and `_HUF`
+ * marks the forint counterpart. Picking the wrong one would attach NAV
+ * wording that describes a different fault, which is worse than attaching
+ * none, so the mapping is explicit rather than inferred.
+ */
+function summaryFaultCode(path) {
+    const huf = path.endsWith('HUF');
+    const perRate = path.includes('summaryByVatRate');
+    const field = path.split('.').pop() ?? '';
+    if (perRate) {
+        // A per-rate figure is compared against the lines carrying that rate.
+        if (field.startsWith('vatRateNet')) {
+            return huf
+                ? 'INCORRECT_SUMMARY_CALCULATION_VAT_RATE_NET_AMOUNT_HUF_LINE'
+                : 'INCORRECT_SUMMARY_CALCULATION_VAT_RATE_NET_AMOUNT_LINE';
+        }
+        if (field.startsWith('vatRateGross')) {
+            return 'INCORRECT_SUMMARY_CALCULATION_VAT_RATE_GROSS_AMOUNT_LINE';
+        }
+        return 'INCORRECT_SUMMARY_CALCULATION_VAT_RATE_VAT_AMOUNT_SUMMARY';
+    }
+    // An invoice total is compared against the sum of the per-rate figures.
+    if (field.startsWith('invoiceNet')) {
+        return huf
+            ? 'INCORRECT_SUMMARY_CALCULATION_INVOICE_NET_AMOUNT_HUF'
+            : 'INCORRECT_SUMMARY_CALCULATION_VAT_RATE_NET_AMOUNT_SUMMARY';
+    }
+    if (field.startsWith('invoiceVat')) {
+        return huf
+            ? 'INCORRECT_SUMMARY_CALCULATION_INVOICE_VAT_AMOUNT_HUF_SUMMARY'
+            : 'INCORRECT_SUMMARY_CALCULATION_INVOICE_VAT_AMOUNT_SUMMARY';
+    }
+    return huf
+        ? 'INCORRECT_SUMMARY_CALCULATION_INVOICE_GROSS_AMOUNT_HUF_SUMMARY'
+        : 'INCORRECT_SUMMARY_CALCULATION_INVOICE_GROSS_AMOUNT_SUMMARY';
+}
+function checkCustomer(customer, path, collector) {
+    const status = customer.customerVatStatus;
+    const vatData = customer.customerVatData;
+    if (status === 'DOMESTIC') {
+        if (vatData?.customerTaxNumber === undefined) {
+            collector.error('MISSING_CUSTOMER_DOMESTIC_TAXNUMBER', `${path}.customerVatData.customerTaxNumber`, 'a domestic customer must be identified by a Hungarian tax number');
+        }
+        if (vatData?.communityVatNumber !== undefined) {
+            collector.error('CUSTOMER_COMMUNITY_TAXNUMBER_NOT_EXPECTED', `${path}.customerVatData.communityVatNumber`, 'must not be supplied for a domestic customer');
+        }
+        if (vatData?.thirdStateTaxId !== undefined) {
+            collector.error('CUSTOMER_THIRD_STATE_TAXNUMBER_NOT_EXPECTED', `${path}.customerVatData.thirdStateTaxId`, 'must not be supplied for a domestic customer');
+        }
+    }
+    if (status === 'PRIVATE_PERSON' && vatData !== undefined) {
+        // NAV's own private-person sample carries nothing but the status: no VAT
+        // data, no name, no address.
+        collector.error('CUSTOMER_DATA_NOT_EXPECTED', `${path}.customerVatData`, 'must not be supplied for a private person');
+    }
+    const taxNumber = vatData?.customerTaxNumber;
+    if (taxNumber) {
+        checkTaxNumber(taxNumber.taxpayerId, taxNumber.countyCode, `${path}.customerVatData.customerTaxNumber`, collector);
+    }
+}
+function checkTaxNumber(taxpayerId, countyCode, path, collector) {
+    // A warning, not an error: NAV validates a tax number against its taxpayer
+    // registry rather than arithmetically, and two of the tax numbers in its own
+    // samples fail this check. Use queryTaxpayer for an authoritative answer.
+    if (!isValidTaxpayerId(taxpayerId)) {
+        collector.warn('LOCAL_TAXPAYER_ID_CHECK_DIGIT', `${path}.taxpayerId`, `${taxpayerId} fails the check digit; verify it with queryTaxpayer`);
+    }
+    if (countyCode !== undefined && !isValidCountyCode(countyCode)) {
+        collector.warn('LOCAL_COUNTY_CODE_UNKNOWN', `${path}.countyCode`, `${countyCode} is not a county code NAV is known to issue`);
+    }
+}
+function checkLine(line, path, exchangeRate, collector, context) {
+    const isModification = context.operation === 'MODIFY' || context.operation === 'STORNO';
+    if (context.operation === 'CREATE' && line.lineModificationReference !== undefined) {
+        collector.error('LINE_MODIFICATION_NOT_EXPECTED', `${path}.lineModificationReference`, 'an original invoice line must not reference a modification');
+    }
+    if (isModification && line.lineModificationReference === undefined) {
+        collector.error('LINE_MODIFICATION_EXPECTED', `${path}.lineModificationReference`, `is required on every line of a ${context.operation} document`);
+    }
+    if (line.referencesToOtherLines?.referenceToOtherLine.includes(line.lineNumber)) {
+        collector.error('INCORRECT_LINE_DATA_SELF_LINE_NUMBER', `${path}.referencesToOtherLines`, `line ${line.lineNumber} references itself`);
+    }
+    if (line.lineExpressionIndicator && line.quantity === undefined) {
+        collector.error('MISSING_LINE_DATA_QUANTITY', `${path}.quantity`, 'is required when lineExpressionIndicator is set');
+    }
+    if (line.unitOfMeasure === 'OWN' && line.unitOfMeasureOwn === undefined) {
+        collector.error('INCORRECT_LINE_DATA_UOM_INCOMPLETE', `${path}.unitOfMeasureOwn`, 'is required when unitOfMeasure is OWN');
+    }
+    if (line.unitOfMeasure !== 'OWN' && line.unitOfMeasureOwn !== undefined) {
+        collector.error('INCORRECT_LINE_DATA_UOM', `${path}.unitOfMeasureOwn`, 'may only be supplied when unitOfMeasure is OWN');
+    }
+    for (const [index, productCode] of (line.productCodes?.productCode ?? []).entries()) {
+        const codePath = `${path}.productCodes.productCode.${index}`;
+        // NAV's rule runs one way only: productCodeOwnValue belongs to an OWN
+        // category. An OWN category may still carry an ordinary productCodeValue,
+        // as NAV's own simplified-invoice sample does — requiring the own-value
+        // field for every OWN category would reject eight of its thirty samples.
+        if (productCode.productCodeOwnValue !== undefined &&
+            productCode.productCodeCategory !== 'OWN') {
+            collector.error('INCORRECT_PRODUCT_CODE_VALUE_OWN', `${codePath}.productCodeOwnValue`, `may only be supplied when productCodeCategory is OWN, but it is ${productCode.productCodeCategory}`);
+        }
+    }
+    const normal = line.lineAmountsNormal;
+    const simplified = line.lineAmountsSimplified;
+    if (normal) {
+        if (normal.lineVatRate.vatContent !== undefined) {
+            collector.error('INVALID_LINE_VAT_RATE_NORMAL', `${path}.lineAmountsNormal.lineVatRate.vatContent`, 'VAT content may only be used on a simplified invoice line');
+        }
+        checkNormalLineAmounts(line, normal, path, exchangeRate, collector);
+    }
+    if (simplified && simplified.lineVatRate.vatPercentage !== undefined) {
+        collector.error('INVALID_LINE_VAT_RATE_SIMPLIFIED', `${path}.lineAmountsSimplified.lineVatRate.vatPercentage`, 'a simplified invoice line states VAT content, not a VAT percentage');
+    }
+    const percentage = normal?.lineVatRate.vatPercentage;
+    if (percentage !== undefined &&
+        !KNOWN_VAT_RATES.some((rate) => Decimal.from(rate).equals(percentage))) {
+        collector.warn('LOCAL_VAT_PERCENTAGE_UNUSUAL', `${path}.lineAmountsNormal.lineVatRate.vatPercentage`, `${percentage} is not a current Hungarian VAT rate (${KNOWN_VAT_RATES.join(', ')})`);
+    }
+}
+function checkNormalLineAmounts(line, normal, path, exchangeRate, collector) {
+    const net = Decimal.from(normal.lineNetAmountData.lineNetAmount);
+    const vat = normal.lineVatData ? Decimal.from(normal.lineVatData.lineVatAmount) : undefined;
+    // net = quantity x unit price, unless a line discount was applied.
+    if (line.lineExpressionIndicator &&
+        line.quantity !== undefined &&
+        line.unitPrice !== undefined &&
+        line.lineDiscountData === undefined) {
+        const expected = Decimal.from(line.quantity).multiply(line.unitPrice).round(net.scale);
+        if (!expected.equals(net)) {
+            collector.error('INCORRECT_LINE_CALCULATION_NET_AMOUNT', `${path}.lineAmountsNormal.lineNetAmountData.lineNetAmount`, `is ${net.toString()} but quantity ${line.quantity} times unit price ${line.unitPrice} is ${expected.toString()}`);
+        }
+    }
+    // gross = net + VAT
+    const gross = normal.lineGrossAmountData?.lineGrossAmountNormal;
+    if (gross !== undefined && vat !== undefined) {
+        const expected = net.add(vat);
+        if (!expected.equals(gross)) {
+            collector.error('INCORRECT_LINE_CALCULATION_GROSS_AMOUNT', `${path}.lineAmountsNormal.lineGrossAmountData.lineGrossAmountNormal`, `is ${gross} but net ${net.toString()} plus VAT ${vat.toString()} is ${expected.toString()}`);
+        }
+    }
+    // Forint equivalents follow from the exchange rate.
+    if (exchangeRate !== undefined) {
+        const rate = Decimal.from(exchangeRate);
+        const netHuf = Decimal.from(normal.lineNetAmountData.lineNetAmountHUF);
+        const expectedNetHuf = net.multiply(rate).round(netHuf.scale);
+        if (!expectedNetHuf.equals(netHuf)) {
+            collector.error('INCORRECT_LINE_CALCULATION_LINE_NET_AMOUNT_HUF', `${path}.lineAmountsNormal.lineNetAmountData.lineNetAmountHUF`, `is ${netHuf.toString()} but ${net.toString()} at ${exchangeRate} is ${expectedNetHuf.toString()}`);
+        }
+    }
+}
+/**
+ * A normal invoice needs normal line amounts and a normal summary; a
+ * simplified one needs the simplified forms. Mixing them is the mistake NAV
+ * reports as a LINE_SUMMARY_TYPE_MISMATCH.
+ */
+function checkLineSummaryConsistency(lines, summary, prefix, collector) {
+    const hasNormalLines = lines.some((line) => line.lineAmountsNormal !== undefined);
+    const hasSimplifiedLines = lines.some((line) => line.lineAmountsSimplified !== undefined);
+    if (hasSimplifiedLines && summary.summaryNormal !== undefined) {
+        collector.error('LINE_SUMMARY_TYPE_MISMATCH_SUMMARY_NORMAL', `${prefix}invoiceSummary.summaryNormal`, 'the invoice has simplified lines, so the summary must be simplified too');
+    }
+    if (hasNormalLines && summary.summarySimplified !== undefined) {
+        collector.error('LINE_SUMMARY_TYPE_MISMATCH_SUMMARY_SIMPLIFIED', `${prefix}invoiceSummary.summarySimplified`, 'the invoice has normal lines, so the summary must be normal too');
+    }
+    if (hasNormalLines && hasSimplifiedLines) {
+        collector.error('LINE_SUMMARY_TYPE_MISMATCH_LINE_NORMAL', `${prefix}invoiceLines`, 'an invoice cannot mix normal and simplified line amounts');
+    }
+}
+//# sourceMappingURL=rules.js.map

package/dist/validation/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/validation/rules.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AA6BvE,oEAAoE;AACpE,MAAM,eAAe,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAEtD;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,2BAA2B;IAC3B,2BAA2B;IAC3B,6BAA6B;IAC7B,yBAAyB;IACzB,+BAA+B;IAC/B,gCAAgC;IAChC,uBAAuB;IACvB,6BAA6B;IAC7B,uBAAuB;IACvB,uBAAuB;IACvB,yCAAyC;CACjC,CAAC;AAEX,MAAM,UAAU,qBAAqB,CACnC,QAAqB,EACrB,SAAyB,EACzB,UAAoC,EAAE;IAEtC,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAE5C,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;IAC5C,IAAI,MAAM,EAAE,CAAC;QACX,YAAY,CAAC,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC7C,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,YAAY,IAAI,EAAE,CAAC;IACtD,0EAA0E;IAC1E,4DAA4D;IAC5D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,SAAS,CAAC,KAAK,CACb,iCAAiC,EACjC,0BAA0B,EAC1B,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAChD,IAAI,KAAK,CAAC,UAAU,IAAI,QAAQ,EAAE,CAAC;YACjC,SAAS,CAAC,KAAK,CACb,4BAA4B,EAC5B,4BAA4B,QAAQ,aAAa,EACjD,+BAA+B,KAAK,CAAC,UAAU,YAAY,QAAQ,EAAE,CACtE,CAAC;QACJ,CAAC;QACD,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC;QAC5B,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,4BAA4B,QAAQ,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,QAAqB,EACrB,SAAyB,EACzB,OAAiC;IAEjC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrE,IAAI,QAAQ,CAAC,gBAAgB,GAAG,KAAK,EAAE,CAAC;QACtC,SAAS,CAAC,KAAK,CACb,wCAAwC,EACxC,kBAAkB,EAClB,qBAAqB,QAAQ,CAAC,gBAAgB,cAAc,KAAK,GAAG,CACrE,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,6DAA6D;IAC7D,IAAI,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,aAAa,CAAC,iBAAiB,CAAC;QAC7F,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;YAC5D,SAAS,CAAC,KAAK,CACb,kCAAkC,EAClC,uBAAuB,EACvB,kEAAkE,UAAU,EAAE,CAC/E,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,WAAW,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACpD,SAAS,CAAC,KAAK,CACb,kCAAkC,EAClC,uBAAuB,EACvB,mCAAmC,CACpC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,OAAoB,EACpB,MAAc,EACd,SAAyB,EACzB,OAAiC;IAEjC,MAAM,EAAE,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC;IACxD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC;IAC/C,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,CAAC,SAAS,KAAK,QAAQ,CAAC;IAExF,yEAAyE;IACzE,IAAI,cAAc,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC7D,SAAS,CAAC,KAAK,CACb,4BAA4B,EAC5B,EAAE,CAAC,kBAAkB,CAAC,EACtB,qBAAqB,OAAO,CAAC,SAAS,YAAY,CACnD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC7E,SAAS,CAAC,KAAK,CACb,gCAAgC,EAChC,EAAE,CAAC,kBAAkB,CAAC,EACtB,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,UAAU,CAAC;IAClE,IAAI,OAAO,CAAC,iBAAiB,KAAK,SAAS,IAAI,UAAU,KAAK,OAAO,CAAC,iBAAiB,EAAE,CAAC;QACxF,SAAS,CAAC,KAAK,CACb,8BAA8B,EAC9B,EAAE,CAAC,uDAAuD,CAAC,EAC3D,MAAM,UAAU,qCAAqC,OAAO,CAAC,iBAAiB,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,cAAc,CACZ,UAAU,EACV,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,UAAU,EAC9C,EAAE,CAAC,4CAA4C,CAAC,EAChD,SAAS,CACV,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC;IACnC,MAAM,UAAU,GAAG,QAAQ,EAAE,eAAe,EAAE,iBAAiB,EAAE,UAAU,CAAC;IAC5E,IAAI,QAAQ,EAAE,CAAC;QACb,aAAa,CAAC,QAAQ,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,SAAS,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;QAC1D,SAAS,CAAC,KAAK,CACb,kCAAkC,EAClC,EAAE,CAAC,0BAA0B,CAAC,EAC9B,6BAA6B,UAAU,wBAAwB,CAChE,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,IACE,MAAM,CAAC,0BAA0B,KAAK,SAAS;QAC/C,MAAM,CAAC,wBAAwB,KAAK,SAAS;QAC7C,MAAM,CAAC,0BAA0B,GAAG,MAAM,CAAC,wBAAwB,EACnE,CAAC;QACD,SAAS,CAAC,KAAK,CACb,yCAAyC,EACzC,EAAE,CAAC,sDAAsD,CAAC,EAC1D,GAAG,MAAM,CAAC,0BAA0B,4BAA4B,MAAM,CAAC,wBAAwB,EAAE,CAClG,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QACzD,SAAS,CAAC,KAAK,CAAC,sBAAsB,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,4BAA4B,CAAC,CAAC;IAC5F,CAAC;IAED,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,EAAE,CAAC,qBAAqB,QAAQ,EAAE,CAAC,CAAC;QACrD,IAAI,IAAI,CAAC,UAAU,IAAI,kBAAkB,EAAE,CAAC;YAC1C,SAAS,CAAC,KAAK,CACb,4BAA4B,EAC5B,GAAG,QAAQ,aAAa,EACxB,+BAA+B,IAAI,CAAC,UAAU,YAAY,kBAAkB,EAAE,CAC/E,CAAC;QACJ,CAAC;QACD,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC;QACrC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,yEAAyE;IACzE,2BAA2B,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IAE9E,yEAAyE;IACzE,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,SAAS,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAE1C,IAAI,OAAO,EAAE,CAAC;QACZ,sEAAsE;QACtE,IAAI,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YACnC,OAAO,GAAG;gBACR,CAAC,CAAC,4DAA4D;gBAC9D,CAAC,CAAC,wDAAwD,CAAC;QAC/D,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YACrC,OAAO,0DAA0D,CAAC;QACpE,CAAC;QACD,OAAO,2DAA2D,CAAC;IACrE,CAAC;IAED,wEAAwE;IACxE,IAAI,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,OAAO,GAAG;YACR,CAAC,CAAC,sDAAsD;YACxD,CAAC,CAAC,2DAA2D,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,OAAO,GAAG;YACR,CAAC,CAAC,8DAA8D;YAChE,CAAC,CAAC,0DAA0D,CAAC;IACjE,CAAC;IACD,OAAO,GAAG;QACR,CAAC,CAAC,gEAAgE;QAClE,CAAC,CAAC,4DAA4D,CAAC;AACnE,CAAC;AAED,SAAS,aAAa,CACpB,QAAiE,EACjE,IAAY,EACZ,SAAyB;IAEzB,MAAM,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC;IAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC;IAEzC,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,IAAI,OAAO,EAAE,iBAAiB,KAAK,SAAS,EAAE,CAAC;YAC7C,SAAS,CAAC,KAAK,CACb,qCAAqC,EACrC,GAAG,IAAI,oCAAoC,EAC3C,kEAAkE,CACnE,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,EAAE,kBAAkB,KAAK,SAAS,EAAE,CAAC;YAC9C,SAAS,CAAC,KAAK,CACb,2CAA2C,EAC3C,GAAG,IAAI,qCAAqC,EAC5C,8CAA8C,CAC/C,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,EAAE,eAAe,KAAK,SAAS,EAAE,CAAC;YAC3C,SAAS,CAAC,KAAK,CACb,6CAA6C,EAC7C,GAAG,IAAI,kCAAkC,EACzC,8CAA8C,CAC/C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,MAAM,KAAK,gBAAgB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACzD,yEAAyE;QACzE,6BAA6B;QAC7B,SAAS,CAAC,KAAK,CACb,4BAA4B,EAC5B,GAAG,IAAI,kBAAkB,EACzB,2CAA2C,CAC5C,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,EAAE,iBAAiB,CAAC;IAC7C,IAAI,SAAS,EAAE,CAAC;QACd,cAAc,CACZ,SAAS,CAAC,UAAU,EACpB,SAAS,CAAC,UAAU,EACpB,GAAG,IAAI,oCAAoC,EAC3C,SAAS,CACV,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,UAAkB,EAClB,UAA8B,EAC9B,IAAY,EACZ,SAAyB;IAEzB,2EAA2E;IAC3E,6EAA6E;IAC7E,0EAA0E;IAC1E,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,SAAS,CAAC,IAAI,CACZ,+BAA+B,EAC/B,GAAG,IAAI,aAAa,EACpB,GAAG,UAAU,sDAAsD,CACpE,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/D,SAAS,CAAC,IAAI,CACZ,2BAA2B,EAC3B,GAAG,IAAI,aAAa,EACpB,GAAG,UAAU,6CAA6C,CAC3D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAChB,IAAc,EACd,IAAY,EACZ,YAAgC,EAChC,SAAyB,EACzB,OAAiC;IAEjC,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,CAAC,SAAS,KAAK,QAAQ,CAAC;IAExF,IAAI,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,IAAI,CAAC,yBAAyB,KAAK,SAAS,EAAE,CAAC;QACnF,SAAS,CAAC,KAAK,CACb,gCAAgC,EAChC,GAAG,IAAI,4BAA4B,EACnC,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,IAAI,IAAI,CAAC,yBAAyB,KAAK,SAAS,EAAE,CAAC;QACnE,SAAS,CAAC,KAAK,CACb,4BAA4B,EAC5B,GAAG,IAAI,4BAA4B,EACnC,kCAAkC,OAAO,CAAC,SAAS,WAAW,CAC/D,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,sBAAsB,EAAE,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAChF,SAAS,CAAC,KAAK,CACb,sCAAsC,EACtC,GAAG,IAAI,yBAAyB,EAChC,QAAQ,IAAI,CAAC,UAAU,oBAAoB,CAC5C,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,uBAAuB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChE,SAAS,CAAC,KAAK,CACb,4BAA4B,EAC5B,GAAG,IAAI,WAAW,EAClB,iDAAiD,CAClD,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,aAAa,KAAK,KAAK,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACxE,SAAS,CAAC,KAAK,CACb,oCAAoC,EACpC,GAAG,IAAI,mBAAmB,EAC1B,uCAAuC,CACxC,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,KAAK,KAAK,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACxE,SAAS,CAAC,KAAK,CACb,yBAAyB,EACzB,GAAG,IAAI,mBAAmB,EAC1B,gDAAgD,CACjD,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACpF,MAAM,QAAQ,GAAG,GAAG,IAAI,6BAA6B,KAAK,EAAE,CAAC;QAC7D,sEAAsE;QACtE,0EAA0E;QAC1E,wEAAwE;QACxE,yEAAyE;QACzE,IACE,WAAW,CAAC,mBAAmB,KAAK,SAAS;YAC7C,WAAW,CAAC,mBAAmB,KAAK,KAAK,EACzC,CAAC;YACD,SAAS,CAAC,KAAK,CACb,kCAAkC,EAClC,GAAG,QAAQ,sBAAsB,EACjC,mEAAmE,WAAW,CAAC,mBAAmB,EAAE,CACrG,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC;IACtC,MAAM,UAAU,GAAG,IAAI,CAAC,qBAAqB,CAAC;IAE9C,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,MAAM,CAAC,WAAW,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAChD,SAAS,CAAC,KAAK,CACb,8BAA8B,EAC9B,GAAG,IAAI,2CAA2C,EAClD,2DAA2D,CAC5D,CAAC;QACJ,CAAC;QACD,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,UAAU,IAAI,UAAU,CAAC,WAAW,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACrE,SAAS,CAAC,KAAK,CACb,kCAAkC,EAClC,GAAG,IAAI,kDAAkD,EACzD,oEAAoE,CACrE,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,EAAE,WAAW,CAAC,aAAa,CAAC;IACrD,IACE,UAAU,KAAK,SAAS;QACxB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EACtE,CAAC;QACD,SAAS,CAAC,IAAI,CACZ,8BAA8B,EAC9B,GAAG,IAAI,8CAA8C,EACrD,GAAG,UAAU,yCAAyC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAc,EACd,MAAkD,EAClD,IAAY,EACZ,YAAgC,EAChC,SAAyB;IAEzB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE5F,mEAAmE;IACnE,IACE,IAAI,CAAC,uBAAuB;QAC5B,IAAI,CAAC,QAAQ,KAAK,SAAS;QAC3B,IAAI,CAAC,SAAS,KAAK,SAAS;QAC5B,IAAI,CAAC,gBAAgB,KAAK,SAAS,EACnC,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvF,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,SAAS,CAAC,KAAK,CACb,uCAAuC,EACvC,GAAG,IAAI,oDAAoD,EAC3D,MAAM,GAAG,CAAC,QAAQ,EAAE,iBAAiB,IAAI,CAAC,QAAQ,qBAAqB,IAAI,CAAC,SAAS,OAAO,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAClH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,EAAE,qBAAqB,CAAC;IAChE,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,SAAS,CAAC,KAAK,CACb,yCAAyC,EACzC,GAAG,IAAI,8DAA8D,EACrE,MAAM,KAAK,YAAY,GAAG,CAAC,QAAQ,EAAE,aAAa,GAAG,CAAC,QAAQ,EAAE,OAAO,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAC7F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QACvE,MAAM,cAAc,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,KAAK,CACb,gDAAgD,EAChD,GAAG,IAAI,uDAAuD,EAC9D,MAAM,MAAM,CAAC,QAAQ,EAAE,QAAQ,GAAG,CAAC,QAAQ,EAAE,OAAO,YAAY,OAAO,cAAc,CAAC,QAAQ,EAAE,EAAE,CACnG,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,2BAA2B,CAClC,KAAiB,EACjB,OAAoB,EACpB,MAAc,EACd,SAAyB;IAEzB,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC;IAClF,MAAM,kBAAkB,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC;IAE1F,IAAI,kBAAkB,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QAC9D,SAAS,CAAC,KAAK,CACb,2CAA2C,EAC3C,GAAG,MAAM,8BAA8B,EACvC,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,IAAI,OAAO,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAC9D,SAAS,CAAC,KAAK,CACb,+CAA+C,EAC/C,GAAG,MAAM,kCAAkC,EAC3C,iEAAiE,CAClE,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,IAAI,kBAAkB,EAAE,CAAC;QACzC,SAAS,CAAC,KAAK,CACb,wCAAwC,EACxC,GAAG,MAAM,cAAc,EACvB,0DAA0D,CAC3D,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/validation/schema.d.ts

@@ -0,0 +1,14 @@
+import { IssueCollector } from './issue.js';
+/**
+ * Validate a document against the schema, using the generated descriptors.
+ *
+ * This covers what an XSD validator would: mandatory elements, value
+ * constraints, cardinality and choice exclusivity. Doing it from the same
+ * descriptor table that drives serialisation means the two cannot disagree,
+ * and it needs no native XML library.
+ *
+ * NAV reports all of these as `SCHEMA_VIOLATION`, except a missing mandatory
+ * element which it reports as `MANDATORY_CONTENT_MISSING`.
+ */
+export declare function collectSchemaIssues(rootName: string, value: unknown, collector: IssueCollector): void;
+//# sourceMappingURL=schema.d.ts.map

package/dist/validation/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/validation/schema.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,OAAO,EACd,SAAS,EAAE,cAAc,GACxB,IAAI,CAON"}

package/dist/validation/schema.js

@@ -0,0 +1,231 @@
+import { ROOTS, TYPES } from '../generated/schema.js';
+import { Decimal } from '../money/decimal.js';
+import { XS_PRIMITIVES } from '../xml/descriptor.js';
+import { IssueCollector } from './issue.js';
+/**
+ * Validate a document against the schema, using the generated descriptors.
+ *
+ * This covers what an XSD validator would: mandatory elements, value
+ * constraints, cardinality and choice exclusivity. Doing it from the same
+ * descriptor table that drives serialisation means the two cannot disagree,
+ * and it needs no native XML library.
+ *
+ * NAV reports all of these as `SCHEMA_VIOLATION`, except a missing mandatory
+ * element which it reports as `MANDATORY_CONTENT_MISSING`.
+ */
+export function collectSchemaIssues(rootName, value, collector) {
+    const root = ROOTS[rootName];
+    if (!root) {
+        collector.error('SCHEMA_VIOLATION', '', `unknown document root ${rootName}`);
+        return;
+    }
+    walk(root.type, value, '', collector);
+}
+function walk(typeKey, value, path, collector) {
+    const primitive = XS_PRIMITIVES[typeKey];
+    if (primitive) {
+        checkPrimitive(primitive, undefined, value, path, collector);
+        return;
+    }
+    const descriptor = TYPES[typeKey];
+    if (!descriptor) {
+        collector.error('SCHEMA_VIOLATION', path, `unknown type ${typeKey}`);
+        return;
+    }
+    if (descriptor.kind === 'simple') {
+        checkPrimitive(descriptor.primitive, descriptor, value, path, collector);
+        return;
+    }
+    if (descriptor.content === 'simple') {
+        if (!isRecord(value)) {
+            collector.error('SCHEMA_VIOLATION', path, `expected an object, got ${describe(value)}`);
+            return;
+        }
+        const contentType = descriptor.contentType;
+        if (contentType)
+            walk(contentType, value['value'], `${path}.value`, collector);
+        for (const attribute of descriptor.attributes ?? []) {
+            const attributeValue = value[attribute.name];
+            if (attributeValue === undefined || attributeValue === null) {
+                if (attribute.required) {
+                    collector.error('MANDATORY_CONTENT_MISSING', `${path}@${attribute.name}`, 'attribute is required');
+                }
+                continue;
+            }
+            walk(attribute.type, attributeValue, `${path}@${attribute.name}`, collector);
+        }
+        return;
+    }
+    if (!isRecord(value)) {
+        collector.error('SCHEMA_VIOLATION', path, `expected an object, got ${describe(value)}`);
+        return;
+    }
+    for (const field of descriptor.fields) {
+        const fieldPath = path ? `${path}.${field.name}` : field.name;
+        const fieldValue = value[field.name];
+        if (fieldValue === undefined || fieldValue === null) {
+            if (!field.optional) {
+                collector.error('MANDATORY_CONTENT_MISSING', fieldPath, 'is required');
+            }
+            continue;
+        }
+        if (field.repeated) {
+            if (!Array.isArray(fieldValue)) {
+                collector.error('SCHEMA_VIOLATION', fieldPath, 'is repeatable and expects an array');
+                continue;
+            }
+            if (fieldValue.length === 0) {
+                if (!field.optional) {
+                    collector.error('MANDATORY_CONTENT_MISSING', fieldPath, 'must have at least one entry');
+                }
+                continue;
+            }
+            if (field.maxOccurs !== undefined && fieldValue.length > field.maxOccurs) {
+                collector.error('SCHEMA_VIOLATION', fieldPath, `allows at most ${field.maxOccurs} entries, got ${fieldValue.length}`);
+            }
+            for (const [index, item] of fieldValue.entries()) {
+                walk(field.type, item, `${fieldPath}.${index}`, collector);
+            }
+            continue;
+        }
+        if (Array.isArray(fieldValue)) {
+            collector.error('SCHEMA_VIOLATION', fieldPath, 'occurs at most once');
+            continue;
+        }
+        walk(field.type, fieldValue, fieldPath, collector);
+    }
+    for (const key of Object.keys(value)) {
+        if (!descriptor.fields.some((field) => field.name === key)) {
+            const isAttribute = (descriptor.attributes ?? []).some((attribute) => attribute.name === key);
+            if (!isAttribute) {
+                collector.error('SCHEMA_VIOLATION', path ? `${path}.${key}` : key, `is not part of ${descriptor.name}`);
+            }
+        }
+    }
+    // Choice groups: NAV nests these inside sequences, so they are checked
+    // against the flattened field list rather than by structural position.
+    for (const group of descriptor.choiceGroups ?? []) {
+        const present = group.members.filter((member) => value[member] !== undefined && value[member] !== null);
+        if (present.length > 1) {
+            collector.error('SCHEMA_VIOLATION', path, `only one of ${group.members.join(', ')} may be set, found ${present.join(' and ')}`);
+        }
+        else if (present.length === 0 && group.required) {
+            collector.error('MANDATORY_CONTENT_MISSING', path, `one of ${group.members.join(', ')} is required`);
+        }
+    }
+}
+function checkPrimitive(kind, descriptor, value, path, collector) {
+    switch (kind) {
+        case 'boolean':
+            if (typeof value !== 'boolean') {
+                collector.error('SCHEMA_VIOLATION', path, `expected a boolean, got ${describe(value)}`);
+            }
+            return;
+        case 'integer': {
+            if (typeof value !== 'number' || !Number.isInteger(value)) {
+                collector.error('SCHEMA_VIOLATION', path, `expected an integer, got ${describe(value)}`);
+                return;
+            }
+            // Numeric comparison, not lexicographic: '2' sorts after '100' as text.
+            checkBounds(String(value), descriptor, path, collector, true);
+            if (descriptor?.totalDigits !== undefined) {
+                const digits = Math.abs(value).toString().length;
+                if (digits > descriptor.totalDigits) {
+                    collector.error('SCHEMA_VIOLATION', path, `has ${digits} digits, at most ${descriptor.totalDigits} allowed`);
+                }
+            }
+            return;
+        }
+        case 'decimal': {
+            if (typeof value !== 'string' && typeof value !== 'number') {
+                collector.error('SCHEMA_VIOLATION', path, `expected a decimal, got ${describe(value)}`);
+                return;
+            }
+            let amount;
+            try {
+                amount = Decimal.from(value);
+            }
+            catch {
+                collector.error('SCHEMA_VIOLATION', path, `${JSON.stringify(value)} is not a decimal`);
+                return;
+            }
+            if (descriptor?.fractionDigits !== undefined && amount.scale > descriptor.fractionDigits) {
+                collector.error('SCHEMA_VIOLATION', path, `has ${amount.scale} decimal places, at most ${descriptor.fractionDigits} allowed`);
+            }
+            if (descriptor?.totalDigits !== undefined && amount.totalDigits() > descriptor.totalDigits) {
+                collector.error('SCHEMA_VIOLATION', path, `has ${amount.totalDigits()} significant digits, at most ${descriptor.totalDigits} allowed`);
+            }
+            checkBounds(amount.toString(), descriptor, path, collector, true);
+            return;
+        }
+        default: {
+            if (typeof value !== 'string') {
+                collector.error('SCHEMA_VIOLATION', path, `expected a string, got ${describe(value)}`);
+                return;
+            }
+            if (!descriptor)
+                return;
+            if (descriptor.enumValues && !descriptor.enumValues.includes(value)) {
+                collector.error('SCHEMA_VIOLATION', path, `${JSON.stringify(value)} is not one of ${descriptor.enumValues.join(', ')}`);
+            }
+            if (descriptor.length !== undefined && value.length !== descriptor.length) {
+                collector.error('SCHEMA_VIOLATION', path, `must be exactly ${descriptor.length} characters, got ${value.length}`);
+            }
+            if (descriptor.minLength !== undefined && value.length < descriptor.minLength) {
+                collector.error('SCHEMA_VIOLATION', path, `must be at least ${descriptor.minLength} characters, got ${value.length}`);
+            }
+            if (descriptor.maxLength !== undefined && value.length > descriptor.maxLength) {
+                collector.error('SCHEMA_VIOLATION', path, `must be at most ${descriptor.maxLength} characters, got ${value.length}`);
+            }
+            if (descriptor.pattern !== undefined && !anchored(descriptor.pattern).test(value)) {
+                collector.error('SCHEMA_VIOLATION', path, `${JSON.stringify(value)} does not match ${descriptor.pattern}`);
+            }
+            // Dates and timestamps carry their bounds as text, and NAV's are all
+            // lexicographically comparable ISO forms.
+            checkBounds(value, descriptor, path, collector);
+            return;
+        }
+    }
+}
+function checkBounds(value, descriptor, path, collector, numeric = false) {
+    if (!descriptor)
+        return;
+    const compare = numeric
+        ? (left, right) => Decimal.from(left).compare(right)
+        : (left, right) => (left < right ? -1 : left > right ? 1 : 0);
+    const checks = [
+        ['minInclusive', (result) => result < 0, 'must not be less than'],
+        ['maxInclusive', (result) => result > 0, 'must not be greater than'],
+        ['minExclusive', (result) => result <= 0, 'must be greater than'],
+        ['maxExclusive', (result) => result >= 0, 'must be less than'],
+    ];
+    for (const [facet, violates, wording] of checks) {
+        const bound = descriptor[facet];
+        if (typeof bound !== 'string')
+            continue;
+        if (violates(compare(value, bound))) {
+            collector.error('SCHEMA_VIOLATION', path, `${wording} ${bound}, got ${value}`);
+        }
+    }
+}
+const anchoredCache = new Map();
+/** XSD patterns match the whole value, unlike JavaScript regular expressions. */
+function anchored(pattern) {
+    const cached = anchoredCache.get(pattern);
+    if (cached)
+        return cached;
+    const compiled = new RegExp(`^(?:${pattern})$`, 'u');
+    anchoredCache.set(pattern, compiled);
+    return compiled;
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function describe(value) {
+    if (value === null)
+        return 'null';
+    if (Array.isArray(value))
+        return 'an array';
+    return typeof value;
+}
+//# sourceMappingURL=schema.js.map

package/dist/validation/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/validation/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAA6C,MAAM,sBAAsB,CAAC;AAChG,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAgB,EAChB,KAAc,EACd,SAAyB;IAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,EAAE,yBAAyB,QAAQ,EAAE,CAAC,CAAC;QAC7E,OAAO;IACT,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,IAAI,CAAC,OAAe,EAAE,KAAc,EAAE,IAAY,EAAE,SAAyB;IACpF,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,SAAS,EAAE,CAAC;QACd,cAAc,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7D,OAAO;IACT,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,gBAAgB,OAAO,EAAE,CAAC,CAAC;QACrE,OAAO;IACT,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,cAAc,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACzE,OAAO;IACT,CAAC;IAED,IAAI,UAAU,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,2BAA2B,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACxF,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;QAC3C,IAAI,WAAW;YAAE,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC/E,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACpD,MAAM,cAAc,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;gBAC5D,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;oBACvB,SAAS,CAAC,KAAK,CACb,2BAA2B,EAC3B,GAAG,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,EAC3B,uBAAuB,CACxB,CAAC;gBACJ,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,2BAA2B,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACxF,OAAO;IACT,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAErC,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACpD,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACpB,SAAS,CAAC,KAAK,CAAC,2BAA2B,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;YACzE,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/B,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,SAAS,EAAE,oCAAoC,CAAC,CAAC;gBACrF,SAAS;YACX,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;oBACpB,SAAS,CAAC,KAAK,CAAC,2BAA2B,EAAE,SAAS,EAAE,8BAA8B,CAAC,CAAC;gBAC1F,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;gBACzE,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,SAAS,EACT,kBAAkB,KAAK,CAAC,SAAS,iBAAiB,UAAU,CAAC,MAAM,EAAE,CACtE,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;gBACjD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,SAAS,IAAI,KAAK,EAAE,EAAE,SAAS,CAAC,CAAC;YAC7D,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,SAAS,EAAE,qBAAqB,CAAC,CAAC;YACtE,SAAS;QACX,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACrD,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC3D,MAAM,WAAW,GAAG,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;YAC9F,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAC7B,kBAAkB,UAAU,CAAC,IAAI,EAAE,CACpC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,uEAAuE;IACvE,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAClC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,CAClE,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,eAAe,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACrF,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClD,SAAS,CAAC,KAAK,CACb,2BAA2B,EAC3B,IAAI,EACJ,UAAU,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CACjD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,IAAmB,EACnB,UAAwC,EACxC,KAAc,EACd,IAAY,EACZ,SAAyB;IAEzB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS;YACZ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC/B,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,2BAA2B,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1F,CAAC;YACD,OAAO;QAET,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,4BAA4B,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACzF,OAAO;YACT,CAAC;YACD,wEAAwE;YACxE,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YAC9D,IAAI,UAAU,EAAE,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC;gBACjD,IAAI,MAAM,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;oBACpC,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,OAAO,MAAM,oBAAoB,UAAU,CAAC,WAAW,UAAU,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3D,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,2BAA2B,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACxF,OAAO;YACT,CAAC;YACD,IAAI,MAAe,CAAC;YACpB,IAAI,CAAC;gBACH,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;gBACvF,OAAO;YACT,CAAC;YACD,IAAI,UAAU,EAAE,cAAc,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,GAAG,UAAU,CAAC,cAAc,EAAE,CAAC;gBACzF,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,OAAO,MAAM,CAAC,KAAK,4BAA4B,UAAU,CAAC,cAAc,UAAU,CACnF,CAAC;YACJ,CAAC;YACD,IAAI,UAAU,EAAE,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,EAAE,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;gBAC3F,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,OAAO,MAAM,CAAC,WAAW,EAAE,gCAAgC,UAAU,CAAC,WAAW,UAAU,CAC5F,CAAC;YACJ,CAAC;YACD,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YAClE,OAAO;QACT,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,0BAA0B,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACvF,OAAO;YACT,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,OAAO;YACxB,IAAI,UAAU,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpE,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC7E,CAAC;YACJ,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC1E,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,mBAAmB,UAAU,CAAC,MAAM,oBAAoB,KAAK,CAAC,MAAM,EAAE,CACvE,CAAC;YACJ,CAAC;YACD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;gBAC9E,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,oBAAoB,UAAU,CAAC,SAAS,oBAAoB,KAAK,CAAC,MAAM,EAAE,CAC3E,CAAC;YACJ,CAAC;YACD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;gBAC9E,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,mBAAmB,UAAU,CAAC,SAAS,oBAAoB,KAAK,CAAC,MAAM,EAAE,CAC1E,CAAC;YACJ,CAAC;YACD,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClF,SAAS,CAAC,KAAK,CACb,kBAAkB,EAClB,IAAI,EACJ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,UAAU,CAAC,OAAO,EAAE,CAChE,CAAC;YACJ,CAAC;YACD,qEAAqE;YACrE,0CAA0C;YAC1C,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAChD,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAClB,KAAa,EACb,UAAwC,EACxC,IAAY,EACZ,SAAyB,EACzB,OAAO,GAAG,KAAK;IAEf,IAAI,CAAC,UAAU;QAAE,OAAO;IACxB,MAAM,OAAO,GAAG,OAAO;QACrB,CAAC,CAAC,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;QACpE,CAAC,CAAC,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhF,MAAM,MAAM,GAAyE;QACnF,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,uBAAuB,CAAC;QACjE,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,0BAA0B,CAAC;QACpE,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,sBAAsB,CAAC;QACjE,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,mBAAmB,CAAC;KAC/D,CAAC;IAEF,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,SAAS;QACxC,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YACpC,SAAS,CAAC,KAAK,CAAC,kBAAkB,EAAE,IAAI,EAAE,GAAG,OAAO,IAAI,KAAK,SAAS,KAAK,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEhD,iFAAiF;AACjF,SAAS,QAAQ,CAAC,OAAe;IAC/B,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,OAAO,OAAO,IAAI,EAAE,GAAG,CAAC,CAAC;IACrD,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC5C,OAAO,OAAO,KAAK,CAAC;AACtB,CAAC"}

package/dist/validation/tax-number.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Hungarian tax number checks.
+ *
+ * A tax number is eleven digits in three parts: an eight digit core
+ * (törzsszám) whose last digit is a check digit, a one digit VAT code
+ * (áfakód), and a two digit county code (megyekód). NAV's schemas carry the
+ * three parts separately, in `taxpayerId`, `vatCode` and `countyCode`.
+ */
+/**
+ * Whether the check digit of an eight digit core tax number is consistent.
+ *
+ * Verified against the real tax numbers in NAV's published samples. Note that
+ * two of the four tax numbers those samples use (`98765432`, `87654321`) are
+ * obvious placeholders and do *not* satisfy the check — evidence that NAV
+ * validates a tax number against its taxpayer registry rather than
+ * arithmetically. Treat a failure here as a likely typo, and use
+ * `queryTaxpayer` when you need an authoritative answer.
+ */
+export declare function isValidTaxpayerId(taxpayerId: string): boolean;
+/** The check digit an eight digit core tax number should end with. */
+export declare function taxpayerIdCheckDigit(firstSevenDigits: string): number;
+/** Whether a VAT code is one NAV defines. */
+export declare function isValidVatCode(vatCode: string): boolean;
+/** Whether a county code is one NAV issues. Best-effort; see COUNTY_CODES. */
+export declare function isValidCountyCode(countyCode: string): boolean;
+export interface ParsedTaxNumber {
+    taxpayerId: string;
+    vatCode?: string;
+    countyCode?: string;
+}
+/**
+ * Split an eleven digit tax number into the three parts NAV's schema wants.
+ *
+ * Accepts the common written forms — `12345678-2-41`, `12345678 2 41` and
+ * `12345678241` — because that is how the number appears on paper, and
+ * pasting it whole into `taxpayerId` is the mistake this avoids.
+ */
+export declare function parseTaxNumber(input: string): ParsedTaxNumber;
+//# sourceMappingURL=tax-number.d.ts.map

package/dist/validation/tax-number.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tax-number.d.ts","sourceRoot":"","sources":["../../src/validation/tax-number.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAuBH;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAO7D;AAED,sEAAsE;AACtE,wBAAgB,oBAAoB,CAAC,gBAAgB,EAAE,MAAM,GAAG,MAAM,CASrE;AAED,6CAA6C;AAC7C,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAEvD;AAED,8EAA8E;AAC9E,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe,CAW7D"}