@formfeed/engine 0.3.11 → 0.3.13

package/types/lib/einvoice/html-text.d.ts

@@ -0,0 +1,17 @@
+/**
+ * The text of a rendered HTML document, for the display check before anything is rendered to PDF
+ * (spec 17 §5.2, §8): the editor holds the preview's document against the invoice, and the CLI the
+ * document it renders locally. The render itself checks the text of the finished PDF, which the
+ * sidecar extracts; this is the early warning, and it reads the markup, not the page.
+ *
+ * So it does not know what CSS hides or generates. What it must get right is where one number ends
+ * and the next begins: two table cells are two amounts, and an amount set in two `<span>`s is one.
+ * Elements that flow in a line join their text; every other element ends the line.
+ *
+ * No DOM is used: the engine runs in a Worker and in Node as well as in the browser.
+ */
+/**
+ * The text a reader of `html` sees, as far as the markup says: comments, scripts and styles left
+ * out, references decoded, and a line break wherever an element that is not inline starts or ends.
+ */
+export declare function htmlText(html: string): string;

package/types/lib/einvoice/index.d.cts

@@ -0,0 +1,45 @@
+/**
+ * `@formfeed/engine/einvoice` (spec 17): the `_invoice` block, the rules it is held to, the CII XML
+ * written from it and the display check. No template engine is imported here and nothing of Node,
+ * so the gateway Worker, the render-worker, the editor and the CLI all run the same code: what the
+ * API refuses, the editor has already said.
+ */
+import { type Invoice, type InvoiceProblem } from './check.cjs';
+import type { EinvoiceFlavour, EinvoiceProfile } from './schema.cjs';
+export { checkInvoice, type CheckOptions, type Identifier, type Invoice, type InvoiceAddress, type InvoiceAllowance, type InvoiceBreakdown, type InvoiceCheck, type InvoiceLine, type InvoiceParty, type InvoiceProblem, type InvoiceProblemCode, type InvoiceTax, } from './check.cjs';
+export { CII_GUIDELINES, EINVOICE_XML_NAME, invoiceToCii } from './cii.cjs';
+export { CODE_LIST_RELEASE } from './codes.generated.cjs';
+export { DISPLAY_TERMS, displayCheck, displayMissingText, shownAmounts, type DisplayCheck, type DisplayValue, } from './display.cjs';
+export { EINVOICE_FLAVOURS, EINVOICE_PROFILES, VAT_CATEGORIES, defaultEinvoiceOptions, einvoiceOptionsSchema, invoiceSchema, resolveEinvoiceOptions, type EinvoiceFlavour, type EinvoiceOptions, type EinvoiceOptionsInput, type EinvoiceProfile, type InvoiceInput, type ResolvedEinvoice, type VatCategory, } from './schema.cjs';
+export { invoicePathSegments, locateJsonPath, type JsonLocation, } from './locate.cjs';
+export { EINVOICE_FLAVOUR_NAMES, EINVOICE_MAX_MESSAGES, EINVOICE_PROFILE_NAMES, capMessages, einvoiceResult, invoiceLineOf, type EinvoiceDisplay, type EinvoiceMessage, type EinvoiceResult, type EinvoiceValidation, } from './report.cjs';
+export { htmlText } from './html-text.cjs';
+export { invoiceSkeleton } from './skeleton.cjs';
+/** Where the invoice sits in the render data. */
+export declare const INVOICE_DATA_KEY = "_invoice";
+/**
+ * The release of the specification the XML is written for, under each of its two names: ZUGFeRD 2.5
+ * and Factur-X 1.09 are one document. The sidecar pins the same release (its validator is what a
+ * file is held to); `codes.generated.ts` carries that release's code lists.
+ */
+export declare const EINVOICE_SPEC_VERSIONS: Record<EinvoiceFlavour, string>;
+/**
+ * An amount of a checked `Invoice` as the XML writes it and a reader expects it: `3760.40`. The
+ * invoice itself keeps the digits it was given (`3760.4`), which is one value all the same.
+ */
+export declare function invoiceAmountText(amount: string): string;
+export type EinvoiceXml = {
+    ok: true;
+    xml: string;
+    invoice: Invoice;
+} | {
+    ok: false;
+    problems: InvoiceProblem[];
+};
+/**
+ * The `_invoice` block of some render data as XML: checked, then written. A block that is absent is
+ * one finding, since a template that declares an e-invoice cannot render without one.
+ */
+export declare function einvoiceXml(data: unknown, options: {
+    profile: EinvoiceProfile;
+}): EinvoiceXml;

package/types/lib/einvoice/index.d.ts

@@ -0,0 +1,45 @@
+/**
+ * `@formfeed/engine/einvoice` (spec 17): the `_invoice` block, the rules it is held to, the CII XML
+ * written from it and the display check. No template engine is imported here and nothing of Node,
+ * so the gateway Worker, the render-worker, the editor and the CLI all run the same code: what the
+ * API refuses, the editor has already said.
+ */
+import { type Invoice, type InvoiceProblem } from './check.js';
+import type { EinvoiceFlavour, EinvoiceProfile } from './schema.js';
+export { checkInvoice, type CheckOptions, type Identifier, type Invoice, type InvoiceAddress, type InvoiceAllowance, type InvoiceBreakdown, type InvoiceCheck, type InvoiceLine, type InvoiceParty, type InvoiceProblem, type InvoiceProblemCode, type InvoiceTax, } from './check.js';
+export { CII_GUIDELINES, EINVOICE_XML_NAME, invoiceToCii } from './cii.js';
+export { CODE_LIST_RELEASE } from './codes.generated.js';
+export { DISPLAY_TERMS, displayCheck, displayMissingText, shownAmounts, type DisplayCheck, type DisplayValue, } from './display.js';
+export { EINVOICE_FLAVOURS, EINVOICE_PROFILES, VAT_CATEGORIES, defaultEinvoiceOptions, einvoiceOptionsSchema, invoiceSchema, resolveEinvoiceOptions, type EinvoiceFlavour, type EinvoiceOptions, type EinvoiceOptionsInput, type EinvoiceProfile, type InvoiceInput, type ResolvedEinvoice, type VatCategory, } from './schema.js';
+export { invoicePathSegments, locateJsonPath, type JsonLocation, } from './locate.js';
+export { EINVOICE_FLAVOUR_NAMES, EINVOICE_MAX_MESSAGES, EINVOICE_PROFILE_NAMES, capMessages, einvoiceResult, invoiceLineOf, type EinvoiceDisplay, type EinvoiceMessage, type EinvoiceResult, type EinvoiceValidation, } from './report.js';
+export { htmlText } from './html-text.js';
+export { invoiceSkeleton } from './skeleton.js';
+/** Where the invoice sits in the render data. */
+export declare const INVOICE_DATA_KEY = "_invoice";
+/**
+ * The release of the specification the XML is written for, under each of its two names: ZUGFeRD 2.5
+ * and Factur-X 1.09 are one document. The sidecar pins the same release (its validator is what a
+ * file is held to); `codes.generated.ts` carries that release's code lists.
+ */
+export declare const EINVOICE_SPEC_VERSIONS: Record<EinvoiceFlavour, string>;
+/**
+ * An amount of a checked `Invoice` as the XML writes it and a reader expects it: `3760.40`. The
+ * invoice itself keeps the digits it was given (`3760.4`), which is one value all the same.
+ */
+export declare function invoiceAmountText(amount: string): string;
+export type EinvoiceXml = {
+    ok: true;
+    xml: string;
+    invoice: Invoice;
+} | {
+    ok: false;
+    problems: InvoiceProblem[];
+};
+/**
+ * The `_invoice` block of some render data as XML: checked, then written. A block that is absent is
+ * one finding, since a template that declares an e-invoice cannot render without one.
+ */
+export declare function einvoiceXml(data: unknown, options: {
+    profile: EinvoiceProfile;
+}): EinvoiceXml;

package/types/lib/einvoice/locate.d.cts

@@ -0,0 +1,21 @@
+import type { Position } from '../types.cjs';
+/**
+ * Where a finding sits in the JSON a data set is written as, so that the editor can mark the place
+ * and the CLI can print `data/default.json:38:5` instead of a path to count out by hand.
+ *
+ * `JSON.parse` keeps no positions, so the text is walked here. It only has to find its way through
+ * JSON that already parsed, not to judge it: anything unexpected ends the walk and the answer is
+ * what was reached until then.
+ */
+export interface JsonLocation extends Position {
+    /** How many segments of the path exist in the text; fewer than asked means the rest is missing. */
+    depth: number;
+}
+/** `lines[1].tax.rate` as the keys and indexes it names. */
+export declare function invoicePathSegments(path: string): Array<string | number>;
+/**
+ * The position of `path` in `text`: of the key (or the list item) the path ends on, or, when the
+ * text does not go that far, of the deepest part that is there. A field that is missing is thereby
+ * marked at the object it is missing from. `null` when the text has no value at all.
+ */
+export declare function locateJsonPath(text: string, path: ReadonlyArray<string | number>): JsonLocation | null;

package/types/lib/einvoice/locate.d.ts

@@ -0,0 +1,21 @@
+import type { Position } from '../types.js';
+/**
+ * Where a finding sits in the JSON a data set is written as, so that the editor can mark the place
+ * and the CLI can print `data/default.json:38:5` instead of a path to count out by hand.
+ *
+ * `JSON.parse` keeps no positions, so the text is walked here. It only has to find its way through
+ * JSON that already parsed, not to judge it: anything unexpected ends the walk and the answer is
+ * what was reached until then.
+ */
+export interface JsonLocation extends Position {
+    /** How many segments of the path exist in the text; fewer than asked means the rest is missing. */
+    depth: number;
+}
+/** `lines[1].tax.rate` as the keys and indexes it names. */
+export declare function invoicePathSegments(path: string): Array<string | number>;
+/**
+ * The position of `path` in `text`: of the key (or the list item) the path ends on, or, when the
+ * text does not go that far, of the deepest part that is there. A field that is missing is thereby
+ * marked at the object it is missing from. `null` when the text has no value at all.
+ */
+export declare function locateJsonPath(text: string, path: ReadonlyArray<string | number>): JsonLocation | null;

package/types/lib/einvoice/report.d.cts

@@ -0,0 +1,59 @@
+import type { DisplayCheck } from './display.cjs';
+import type { EinvoiceFlavour, EinvoiceOptions, EinvoiceProfile } from './schema.cjs';
+/**
+ * What a render says about its e-invoice (spec 17 §4.1, §5): the validator's report and the display
+ * check. One shape for the render-worker that builds it, the database row that keeps it, the API
+ * that returns it, the render log and the CLI that show it.
+ */
+/** One finding of the validator: a rule of the XML (schematron, XSD) or of PDF/A (veraPDF). */
+export interface EinvoiceMessage {
+    part: 'xml' | 'pdf';
+    severity: 'error' | 'warning';
+    /** `BR-CO-15`, `CII-SR-465`, or a clause of PDF/A such as `6.2.11.4.1-1`. */
+    rule: string | null;
+    message: string;
+    /** Where: an XPath into the XML, or the object of the PDF. */
+    location: string | null;
+}
+export interface EinvoiceValidation {
+    valid: boolean;
+    /** The rule set the XML was held to, as the validator names it. */
+    schematron: string;
+    /** `PDF/A-3b` once the file was checked; `null` when validation ended at the XML. */
+    pdfa: string | null;
+    messages: EinvoiceMessage[];
+    /** More findings than the render keeps. */
+    truncated?: boolean;
+}
+export interface EinvoiceDisplay {
+    /** The business terms looked for in the text of the PDF (`BT-1`, `BT-112`). */
+    checked: string[];
+    /** Those the text does not show. */
+    missing: string[];
+}
+/** `einvoice` of a render as the row keeps it; the API adds `xml_url`. */
+export interface EinvoiceResult {
+    profile: EinvoiceProfile;
+    flavour: EinvoiceFlavour;
+    /** The release of the specification under the flavour's name: `1.09` or `2.5`. */
+    spec_version: string;
+    validation: EinvoiceValidation | null;
+    display: EinvoiceDisplay | null;
+}
+/**
+ * A render row travels in every list and webhook, so it keeps this many findings and says when there
+ * were more. Errors go first: a report cut short must not lose the reason it failed to warnings.
+ */
+export declare const EINVOICE_MAX_MESSAGES = 50;
+export declare function capMessages(messages: readonly EinvoiceMessage[], max?: number): Pick<EinvoiceValidation, 'messages' | 'truncated'>;
+/** The result of a render that got as far as `validation` and `display` say. */
+export declare function einvoiceResult(options: Pick<EinvoiceOptions, 'profile' | 'flavour'>, specVersion: string, validation: EinvoiceValidation | null, display: DisplayCheck | null): EinvoiceResult;
+/** The names a person reads: `Factur-X` and `EN 16931` for `factur-x` and `en16931`. */
+export declare const EINVOICE_FLAVOUR_NAMES: Record<EinvoiceFlavour, string>;
+export declare const EINVOICE_PROFILE_NAMES: Record<EinvoiceProfile, string>;
+/**
+ * Where in the invoice a finding of the XML sits, for a reader who knows `_invoice` and not CII:
+ * `line 2` for anything inside the second line item, `null` where the path names no line. The XPath
+ * itself stays beside it; this only spares the reader counting brackets.
+ */
+export declare function invoiceLineOf(location: string | null): number | null;

package/types/lib/einvoice/report.d.ts

@@ -0,0 +1,59 @@
+import type { DisplayCheck } from './display.js';
+import type { EinvoiceFlavour, EinvoiceOptions, EinvoiceProfile } from './schema.js';
+/**
+ * What a render says about its e-invoice (spec 17 §4.1, §5): the validator's report and the display
+ * check. One shape for the render-worker that builds it, the database row that keeps it, the API
+ * that returns it, the render log and the CLI that show it.
+ */
+/** One finding of the validator: a rule of the XML (schematron, XSD) or of PDF/A (veraPDF). */
+export interface EinvoiceMessage {
+    part: 'xml' | 'pdf';
+    severity: 'error' | 'warning';
+    /** `BR-CO-15`, `CII-SR-465`, or a clause of PDF/A such as `6.2.11.4.1-1`. */
+    rule: string | null;
+    message: string;
+    /** Where: an XPath into the XML, or the object of the PDF. */
+    location: string | null;
+}
+export interface EinvoiceValidation {
+    valid: boolean;
+    /** The rule set the XML was held to, as the validator names it. */
+    schematron: string;
+    /** `PDF/A-3b` once the file was checked; `null` when validation ended at the XML. */
+    pdfa: string | null;
+    messages: EinvoiceMessage[];
+    /** More findings than the render keeps. */
+    truncated?: boolean;
+}
+export interface EinvoiceDisplay {
+    /** The business terms looked for in the text of the PDF (`BT-1`, `BT-112`). */
+    checked: string[];
+    /** Those the text does not show. */
+    missing: string[];
+}
+/** `einvoice` of a render as the row keeps it; the API adds `xml_url`. */
+export interface EinvoiceResult {
+    profile: EinvoiceProfile;
+    flavour: EinvoiceFlavour;
+    /** The release of the specification under the flavour's name: `1.09` or `2.5`. */
+    spec_version: string;
+    validation: EinvoiceValidation | null;
+    display: EinvoiceDisplay | null;
+}
+/**
+ * A render row travels in every list and webhook, so it keeps this many findings and says when there
+ * were more. Errors go first: a report cut short must not lose the reason it failed to warnings.
+ */
+export declare const EINVOICE_MAX_MESSAGES = 50;
+export declare function capMessages(messages: readonly EinvoiceMessage[], max?: number): Pick<EinvoiceValidation, 'messages' | 'truncated'>;
+/** The result of a render that got as far as `validation` and `display` say. */
+export declare function einvoiceResult(options: Pick<EinvoiceOptions, 'profile' | 'flavour'>, specVersion: string, validation: EinvoiceValidation | null, display: DisplayCheck | null): EinvoiceResult;
+/** The names a person reads: `Factur-X` and `EN 16931` for `factur-x` and `en16931`. */
+export declare const EINVOICE_FLAVOUR_NAMES: Record<EinvoiceFlavour, string>;
+export declare const EINVOICE_PROFILE_NAMES: Record<EinvoiceProfile, string>;
+/**
+ * Where in the invoice a finding of the XML sits, for a reader who knows `_invoice` and not CII:
+ * `line 2` for anything inside the second line item, `null` where the path names no line. The XPath
+ * itself stays beside it; this only spares the reader counting brackets.
+ */
+export declare function invoiceLineOf(location: string | null): number | null;

package/types/lib/einvoice/schema.d.cts

@@ -0,0 +1,293 @@
+import { z } from 'zod';
+/** VAT categories of UNCL 5305 as EN 16931 uses them (spec 17 §4.3). */
+export declare const VAT_CATEGORIES: readonly ["S", "Z", "E", "AE", "K", "G", "O"];
+export type VatCategory = (typeof VAT_CATEGORIES)[number];
+export declare const invoiceSchema: z.ZodObject<{
+    number: z.ZodString;
+    issue_date: z.ZodString;
+    type_code: z.ZodDefault<z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>>;
+    currency: z.ZodString;
+    accounting_currency: z.ZodOptional<z.ZodString>;
+    buyer_reference: z.ZodOptional<z.ZodString>;
+    order_reference: z.ZodOptional<z.ZodString>;
+    contract_reference: z.ZodOptional<z.ZodString>;
+    note: z.ZodOptional<z.ZodString>;
+    notes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        text: z.ZodString;
+        subject_code: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    period: z.ZodOptional<z.ZodObject<{
+        start: z.ZodOptional<z.ZodString>;
+        end: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    preceding_invoices: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        number: z.ZodString;
+        issue_date: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    operation: z.ZodOptional<z.ZodEnum<{
+        goods: "goods";
+        services: "services";
+        mixed: "mixed";
+    }>>;
+    operation_code: z.ZodOptional<z.ZodString>;
+    seller: z.ZodObject<{
+        name: z.ZodString;
+        trading_name: z.ZodOptional<z.ZodString>;
+        id: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            value: z.ZodString;
+            scheme: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>]>>;
+        legal_registration: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            value: z.ZodString;
+            scheme: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>]>>;
+        vat_id: z.ZodOptional<z.ZodString>;
+        address: z.ZodObject<{
+            street: z.ZodOptional<z.ZodString>;
+            street2: z.ZodOptional<z.ZodString>;
+            street3: z.ZodOptional<z.ZodString>;
+            postcode: z.ZodOptional<z.ZodString>;
+            city: z.ZodOptional<z.ZodString>;
+            country: z.ZodString;
+            subdivision: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        contact: z.ZodOptional<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            phone: z.ZodOptional<z.ZodString>;
+            email: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        electronic_address: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            value: z.ZodString;
+            scheme: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>]>>;
+        tax_number: z.ZodOptional<z.ZodString>;
+        legal_info: z.ZodOptional<z.ZodString>;
+        vat_on_debits: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strip>;
+    buyer: z.ZodObject<{
+        name: z.ZodString;
+        trading_name: z.ZodOptional<z.ZodString>;
+        id: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            value: z.ZodString;
+            scheme: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>]>>;
+        legal_registration: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            value: z.ZodString;
+            scheme: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>]>>;
+        vat_id: z.ZodOptional<z.ZodString>;
+        address: z.ZodObject<{
+            street: z.ZodOptional<z.ZodString>;
+            street2: z.ZodOptional<z.ZodString>;
+            street3: z.ZodOptional<z.ZodString>;
+            postcode: z.ZodOptional<z.ZodString>;
+            city: z.ZodOptional<z.ZodString>;
+            country: z.ZodString;
+            subdivision: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
+        contact: z.ZodOptional<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            phone: z.ZodOptional<z.ZodString>;
+            email: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        electronic_address: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            value: z.ZodString;
+            scheme: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>]>>;
+        siren: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    delivery: z.ZodOptional<z.ZodObject<{
+        name: z.ZodOptional<z.ZodString>;
+        date: z.ZodOptional<z.ZodString>;
+        address: z.ZodOptional<z.ZodObject<{
+            street: z.ZodOptional<z.ZodString>;
+            street2: z.ZodOptional<z.ZodString>;
+            street3: z.ZodOptional<z.ZodString>;
+            postcode: z.ZodOptional<z.ZodString>;
+            city: z.ZodOptional<z.ZodString>;
+            country: z.ZodString;
+            subdivision: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    lines: z.ZodArray<z.ZodObject<{
+        id: z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>;
+        name: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        quantity: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        unit_code: z.ZodDefault<z.ZodString>;
+        net_price: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        price_base_quantity: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        net_amount: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        tax: z.ZodObject<{
+            category: z.ZodEnum<{
+                Z: "Z";
+                E: "E";
+                G: "G";
+                S: "S";
+                AE: "AE";
+                K: "K";
+                O: "O";
+            }>;
+            rate: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        }, z.core.$strip>;
+        period: z.ZodOptional<z.ZodObject<{
+            start: z.ZodOptional<z.ZodString>;
+            end: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        allowances: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amount: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+            reason: z.ZodOptional<z.ZodString>;
+            reason_code: z.ZodOptional<z.ZodString>;
+            base_amount: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            percent: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        }, z.core.$strip>>>;
+        charges: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amount: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+            reason: z.ZodOptional<z.ZodString>;
+            reason_code: z.ZodOptional<z.ZodString>;
+            base_amount: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            percent: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        }, z.core.$strip>>>;
+        buyer_accounting_reference: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+        seller_item_id: z.ZodOptional<z.ZodString>;
+        buyer_item_id: z.ZodOptional<z.ZodString>;
+        standard_item_id: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            value: z.ZodString;
+            scheme: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>]>>;
+        order_line_reference: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    allowances: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amount: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        reason: z.ZodOptional<z.ZodString>;
+        reason_code: z.ZodOptional<z.ZodString>;
+        base_amount: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        percent: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        tax: z.ZodObject<{
+            category: z.ZodEnum<{
+                Z: "Z";
+                E: "E";
+                G: "G";
+                S: "S";
+                AE: "AE";
+                K: "K";
+                O: "O";
+            }>;
+            rate: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        }, z.core.$strip>;
+    }, z.core.$strip>>>;
+    charges: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amount: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        reason: z.ZodOptional<z.ZodString>;
+        reason_code: z.ZodOptional<z.ZodString>;
+        base_amount: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        percent: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        tax: z.ZodObject<{
+            category: z.ZodEnum<{
+                Z: "Z";
+                E: "E";
+                G: "G";
+                S: "S";
+                AE: "AE";
+                K: "K";
+                O: "O";
+            }>;
+            rate: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        }, z.core.$strip>;
+    }, z.core.$strip>>>;
+    tax: z.ZodObject<{
+        breakdown: z.ZodArray<z.ZodObject<{
+            category: z.ZodEnum<{
+                Z: "Z";
+                E: "E";
+                G: "G";
+                S: "S";
+                AE: "AE";
+                K: "K";
+                O: "O";
+            }>;
+            rate: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            basis: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+            amount: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+            exemption_reason: z.ZodOptional<z.ZodString>;
+            exemption_reason_code: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    totals: z.ZodObject<{
+        line_net: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        allowances: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        charges: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        tax_basis: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        tax_total: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        tax_total_accounting: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        grand: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+        prepaid: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        rounding: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        due: z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>;
+    }, z.core.$strip>;
+    payment: z.ZodOptional<z.ZodObject<{
+        means_code: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>>;
+        iban: z.ZodOptional<z.ZodString>;
+        bic: z.ZodOptional<z.ZodString>;
+        account_name: z.ZodOptional<z.ZodString>;
+        reference: z.ZodOptional<z.ZodString>;
+        terms: z.ZodOptional<z.ZodString>;
+        due_date: z.ZodOptional<z.ZodString>;
+        mandate_id: z.ZodOptional<z.ZodString>;
+        creditor_id: z.ZodOptional<z.ZodString>;
+        debited_iban: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+/** The block as a caller writes it. */
+export type InvoiceInput = z.input<typeof invoiceSchema>;
+/** The block once parsed: defaults filled in, numbers still as they came. */
+export type ParsedInvoice = z.output<typeof invoiceSchema>;
+export type ParsedParty = ParsedInvoice['seller'] | ParsedInvoice['buyer'];
+export type ParsedLine = ParsedInvoice['lines'][number];
+export declare const EINVOICE_PROFILES: readonly ["basic", "en16931"];
+export type EinvoiceProfile = (typeof EINVOICE_PROFILES)[number];
+export declare const EINVOICE_FLAVOURS: readonly ["factur-x", "zugferd"];
+export type EinvoiceFlavour = (typeof EINVOICE_FLAVOURS)[number];
+/**
+ * `post.einvoice` of a request and `settings.einvoice` of a template (spec 17 §4.1). `profile` and
+ * `flavour` are text here on purpose: a profile we do not emit (`minimum`, `xrechnung`) is answered
+ * with `einvoice_profile_unsupported` and its own explanation, not as a malformed request.
+ */
+export declare const einvoiceOptionsSchema: z.ZodObject<{
+    profile: z.ZodOptional<z.ZodString>;
+    flavour: z.ZodOptional<z.ZodString>;
+    xml: z.ZodOptional<z.ZodEnum<{
+        embedded: "embedded";
+        both: "both";
+    }>>;
+    display_check: z.ZodOptional<z.ZodEnum<{
+        warn: "warn";
+        strict: "strict";
+    }>>;
+}, z.core.$strict>;
+export type EinvoiceOptionsInput = z.infer<typeof einvoiceOptionsSchema>;
+/** The options with every default filled in: what the worker acts on and the render records. */
+export interface EinvoiceOptions {
+    profile: EinvoiceProfile;
+    flavour: EinvoiceFlavour;
+    xml: 'embedded' | 'both';
+    display_check: 'warn' | 'strict';
+}
+export declare const defaultEinvoiceOptions: EinvoiceOptions;
+export type ResolvedEinvoice = {
+    ok: true;
+    options: EinvoiceOptions | null;
+} | {
+    ok: false;
+    field: 'profile' | 'flavour';
+    value: string;
+    reason: string;
+};
+/**
+ * One e-invoice declaration out of its layers, earliest first (the template's settings, the
+ * request's settings, `post.einvoice`). Fields merge one by one with the later layer winning, like
+ * every other setting; `false` drops whatever was declared before it, so a request can switch a
+ * template's declaration off; `null` when nothing declares an e-invoice.
+ */
+export declare function resolveEinvoiceOptions(...layers: Array<EinvoiceOptionsInput | false | null | undefined>): ResolvedEinvoice;