facturas 0.20.5 → 0.22.0

package/dist/{client-BgWH_jKT.d.ts → client-ghHzZdu8.d.ts}

@@ -1,8 +1,9 @@
-import { h as ArcaEnvironment, A as ArcaClientOptions } from './types-Su7QwloQ.js';
+import { a as ArcaClientConfig, h as ArcaEnvironment, A as ArcaClientOptions } from './types-CbvsjIhf.js';
 import { PadronService } from './padron.js';
-import { e as ArcaAuthorizationOutcome, I as IssuanceService, h as ArcaFiscalIssue, o as ArcaSafeErrorMetadata, V as VoucherDateWindow } from './fiscal-evidence-Bg4o9nxt.js';
+import { e as ArcaAuthorizationOutcome, I as IssuanceService, h as ArcaFiscalIssue, q as ArcaSafeErrorMetadata, u as ArcaVoucherLookupResult, V as VoucherDateWindow } from './fiscal-evidence-DjG8zB3o.js';
 import { WsfeVoucherInput, WsfeVoucherInfo, WsfeDateInput, WsfeService } from './wsfe.js';
 import { VoucherClass, ReceiverCondition, IssuerCondition, IssuerConditionId } from './constants.js';
+import { W as WsaaAuthModule, S as SoapTransport } from './index-BSTxy3nN.js';
 import { WsmtxcaService } from './wsmtxca.js';
 
 type VoucherCoordinates = {
@@ -179,6 +180,73 @@ declare function wsmtxcaRequest(data: FiscalHeader$1, number?: number): {
     };
 };
 
+/** Monetary values in the high-level API are integer minor units. */
+type Tribute = {
+    id: number;
+    description?: string;
+    base: number;
+    rate: number;
+    amount: number;
+};
+/** An already-reviewed fiscal breakdown; no recalculation of historical VAT. */
+type VoucherAmounts = {
+    net: number;
+    vat: number;
+    exempt?: number;
+    untaxed?: number;
+    vatRates?: readonly {
+        id: number;
+        base: number;
+        amount: number;
+    }[];
+};
+type InvoiceFamily = "ordinary" | "retention_legend" | "fce";
+type IssuanceFields = {
+    fce?: FceOptions;
+    taxes?: readonly Tribute[];
+    amounts?: VoucherAmounts;
+    concept?: "products" | "services" | "products_and_services";
+    dueDate?: WsfeDateInput;
+    paidInForeignCurrency?: boolean;
+    optionalFields?: WsfeVoucherInput["optionalFields"];
+    buyers?: WsfeVoucherInput["buyers"];
+    activities?: WsfeVoucherInput["activities"];
+};
+declare const FAMILIES: {
+    readonly ordinary: {
+        readonly A: readonly [1, 2, 3];
+        readonly B: readonly [6, 7, 8];
+        readonly C: readonly [11, 12, 13];
+    };
+    readonly retention_legend: {
+        readonly A: readonly [51, 52, 53];
+    };
+    readonly fce: {
+        readonly A: readonly [201, 202, 203];
+        readonly B: readonly [206, 207, 208];
+        readonly C: readonly [211, 212, 213];
+    };
+};
+/**
+ * Export vouchers (19, 20, 21) report `family: "export"` and class `"E"`;
+ * neither is an `issue()` input, where an export is chosen by `export`.
+ */
+type VoucherTypeInfo = {
+    family: InvoiceFamily | "export";
+    voucherClass: VoucherClass | "E";
+    kind: "invoice" | "debit_note" | "credit_note";
+};
+/** What an ARCA voucher type the SDK issues is. Pure; throws for any other. */
+declare function describeVoucherType(voucherType: number): VoucherTypeInfo;
+/** FCE business fields; the SDK encodes each provider's different option layout. */
+type FceOptions = {
+    cbu?: string;
+    alias?: string;
+    transfer?: "ADC" | "SCA";
+    annulment?: boolean;
+    reference?: string;
+};
+
 /** Where every printed voucher's QR points, per ARCA's QR specification v1. */
 declare const ARCA_QR_URL = "https://www.arca.gob.ar/fe/qr/";
 /** What the QR of a printed voucher encodes. Amounts are minor units. */
@@ -199,7 +267,10 @@ type ArcaQrInput = {
     /** The CAE, or the CAEA when `authorization` is `"CAEA"`. */
     cae: string;
     authorization?: "CAE" | "CAEA";
-    /** The receiver's document. Omitted, or type 99, means an unidentified consumidor final. */
+    /**
+     * The receiver's document as sent to ARCA, type 99 and number 0 included
+     * for an unidentified consumidor final. Omitted, the QR names no receiver.
+     */
     document?: {
         type: number;
         number: number | string;
@@ -357,7 +428,7 @@ type WithRequest<O extends IssueOptions> = O extends {
 } : true extends NonNullable<O["include"]>["request"] ? {
     request?: IssueRequest<ServiceFor<O>>;
 } : unknown;
-type Evidence<K extends ArcaAuthorizationOutcome["kind"], O extends IssueOptions> = WithRawResponse<Omit<Extract<ArcaAuthorizationOutcome<ServiceFor<O>>, {
+type Evidence$1<K extends ArcaAuthorizationOutcome["kind"], O extends IssueOptions> = WithRawResponse<Omit<Extract<ArcaAuthorizationOutcome<ServiceFor<O>>, {
     kind: K;
 }>, "raw">, O>;
 /** Fiscal outcomes are returned. Keyed replays authorize only after not_found. */
@@ -367,22 +438,22 @@ type IssueOutcome<O extends IssueOptions = {
     kind: "authorized";
     recoveredByMatch: false;
     voucher: IssuedVoucher;
-    authorization: Evidence<"authorized", O>;
+    authorization: Evidence$1<"authorized", O>;
 } | {
     kind: "authorized";
     recoveredByMatch: true;
     voucher: IssuedVoucher;
-    attempt: Evidence<"indeterminate", O>;
+    attempt: Evidence$1<"indeterminate", O>;
     lookup: WithRawResponse<VoucherSummary, O>;
 } | {
     kind: "rejected";
     attempted: VoucherCoordinates;
     issues: ArcaFiscalIssue[];
-    authorization: Evidence<"rejected", O>;
+    authorization: Evidence$1<"rejected", O>;
 } | {
     kind: "indeterminate";
     attempted: VoucherCoordinates;
-    attempt: Evidence<"indeterminate", O>;
+    attempt: Evidence$1<"indeterminate", O>;
     lookup: WithRawResponse<{
         kind: "not_found";
     }, O> | WithRawResponse<{
@@ -417,58 +488,442 @@ type IssueOutcome<O extends IssueOptions = {
 } | {
     kind: "conflict";
     attempted: VoucherCoordinates;
-    attempt: Evidence<"indeterminate", O>;
+    attempt: Evidence$1<"indeterminate", O>;
     found: WithRawResponse<VoucherSummary, O>;
     reason: string;
 }) & WithRequest<O>;
 
-/** Monetary values in the high-level API are integer minor units. */
-type Tribute = {
+/** Factura E (19), Nota de Débito E (20) and Nota de Crédito E (21). */
+type WsfexVoucherType = 19 | 20 | 21;
+/** `Tipo_expo`: goods (1), services (2) or other (4). */
+type WsfexExportType = 1 | 2 | 4;
+/** `Idioma_cbte`: Spanish (1), English (2) or Portuguese (3). */
+type WsfexLanguage = 1 | 2 | 3;
+/**
+ * One `Item`. Money is in major units like `WsfeVoucherInput`: `amount` has
+ * at most two decimals, `discount` at most six. `unitPrice` is a decimal
+ * string with up to six decimals, the SDK's one monetary exception.
+ */
+type WsfexItem = {
+    code?: string;
+    description: string;
+    /** A number, or an exact decimal string; a lookup answers the string. */
+    quantity?: number | string;
+    unit: number;
+    unitPrice?: string;
+    /** A number, or an exact decimal string; a lookup answers the string. */
+    discount?: number | string;
+    amount: number;
+};
+type WsfexPermit = {
+    id: string;
+    destination: number;
+};
+type WsfexAssociatedVoucher = {
+    voucherType: number;
+    salesPoint: number;
+    number: number;
+    issuerTaxId?: string;
+};
+/**
+ * The fiscal content of one `FEXAuthorize` `Cmp`, without its request `Id`
+ * and number. Dates are `YYYYMMDD`. Field order here is not the wire order:
+ * the service serializes in WSDL order.
+ */
+type WsfexVoucherInput = {
+    voucherType: WsfexVoucherType;
+    salesPoint: number;
+    voucherDate?: string;
+    exportType: WsfexExportType;
+    /** `Permiso_existente`: absent sends it empty, as notes and services require. */
+    permitExists?: "S" | "N";
+    permits?: readonly WsfexPermit[];
+    /** `Dst_cmp`, an ARCA country code from `getCountries()`. */
+    destination: number;
+    receiverName: string;
+    /** `Cuit_pais_cliente`, one of `getCountryTaxIds()`. */
+    receiverCountryTaxId?: string;
+    receiverAddress: string;
+    /** `Id_impositivo`, the receiver's tax ID abroad. */
+    receiverTaxId?: string;
+    currencyId: string;
+    /** `Moneda_ctz` as an exact decimal string; ARCA may fill it when `sameCurrencyForeignCancellation` is `S`. */
+    exchangeRate?: string;
+    /** `CanMisMonExt`. Invoices in a foreign currency only. */
+    sameCurrencyForeignCancellation?: "S" | "N";
+    commercialObservations?: string;
+    totalAmount: number;
+    observations?: string;
+    associatedVouchers?: readonly WsfexAssociatedVoucher[];
+    /** `Forma_pago`, required on invoices (rule 1620). */
+    paymentTerms?: string;
+    incoterms?: string;
+    incotermsDetail?: string;
+    language: WsfexLanguage;
+    items: readonly WsfexItem[];
+    /** `Fecha_pago`, required on service and other invoices (rule 1672). */
+    paymentDate?: string;
+    activities?: readonly {
+        id: string;
+    }[];
+};
+type WsfexIssueInput = WsfexVoucherInput & {
+    /** `Cmp.Id`. Resending the same id returns ARCA's stored answer. */
     id: number;
-    description?: string;
-    base: number;
-    rate: number;
+    number: number;
+    representedTaxId?: number | string;
+    forceRefresh?: boolean;
+    abortSignal?: AbortSignal;
+};
+/**
+ * Structured evidence of one `FEXAuthorize`. `echo` is what ARCA says it
+ * authorized: callers must compare it with what they sent, since a reused
+ * `Id` returns another request's stored answer with `reprocessed: true`.
+ */
+type WsfexAuthorizationOutcome = ArcaAuthorizationOutcome<"wsfex"> & {
+    reprocessed?: boolean;
+    echo?: {
+        id?: number;
+        salesPoint?: number;
+        voucherType?: number;
+        number?: number;
+        date?: string;
+    };
+};
+/** One authorized voucher as `FEXGetCMP` reports it, in ARCA's units. */
+type WsfexVoucherInfo = Omit<WsfexVoucherInput, "voucherType" | "language" | "exportType"> & {
+    id?: number;
+    voucherType: number;
+    number: number;
+    exportType?: number;
+    language?: number;
+    result?: string;
+    cae?: string;
+    /** `Fch_venc_Cae`, `YYYYMMDD`. */
+    caeExpiry?: string;
+    /** `Fecha_cbte_cae`, `YYYYMMDD`. */
+    authorizedAt?: string;
+    observations?: string;
+};
+type WsfexVoucherLookupResult = ArcaVoucherLookupResult<WsfexVoucherInfo, "wsfex">;
+type WsfexCatalogEntry = {
+    id: string;
+    description: string;
+};
+type WsfexCountryTaxId = {
+    taxId: string;
+    description: string;
+};
+type WsfexSalesPoint = {
+    number: number;
+    blocked: boolean;
+    /** `YYYY-MM-DD`, absent when active. */
+    deactivatedAt?: string;
+};
+type WsfexExchangeRate = {
+    currencyId: string;
+    /** Exact decimal string. */
+    rate: string;
+    /** `YYYY-MM-DD`. */
+    date: string;
+};
+type Auth = {
+    representedTaxId?: number | string;
+    forceRefresh?: boolean;
+};
+type WsfexService = {
+    /**
+     * One `FEXAuthorize` with the caller's `Id` and number. Never throws a
+     * provider answer: `authorized`, `rejected` or `indeterminate`. Transport
+     * retries are safe because ARCA answers a repeated `Id` from its records.
+     */
+    issue(input: WsfexIssueInput): Promise<WsfexAuthorizationOutcome>;
+    /** `FEXGetLast_ID`: the highest request `Id` ARCA received for the CUIT. */
+    getLastRequestId(input?: Auth & {
+        abortSignal?: AbortSignal;
+    }): Promise<number>;
+    /** `FEXGetLast_CMP`: the last authorized number; `0` when none. */
+    getLastVoucherNumber(input: Auth & {
+        salesPoint: number;
+        voucherType: number;
+        abortSignal?: AbortSignal;
+    }): Promise<number>;
+    /** `FEXGetCMP`; error 1020 becomes `not_found`. */
+    lookupVoucher(input: Auth & {
+        salesPoint: number;
+        voucherType: number;
+        number: number;
+        abortSignal?: AbortSignal;
+    }): Promise<WsfexVoucherLookupResult>;
+    getSalesPoints(input?: Auth): Promise<WsfexSalesPoint[]>;
+    getCountries(input?: Auth): Promise<WsfexCatalogEntry[]>;
+    getCountryTaxIds(input?: Auth): Promise<WsfexCountryTaxId[]>;
+    getCurrencies(input?: Auth): Promise<WsfexCatalogEntry[]>;
+    getIncoterms(input?: Auth): Promise<WsfexCatalogEntry[]>;
+    getUnits(input?: Auth): Promise<WsfexCatalogEntry[]>;
+    getLanguages(input?: Auth): Promise<WsfexCatalogEntry[]>;
+    getVoucherTypes(input?: Auth): Promise<WsfexCatalogEntry[]>;
+    getExportTypes(input?: Auth): Promise<WsfexCatalogEntry[]>;
+    getActivities(input?: Auth): Promise<WsfexCatalogEntry[]>;
+    /**
+     * `FEXGetPARAM_Ctz`. ARCA's rate for `date` (`YYYY-MM-DD`), or its latest
+     * when omitted. Homologation answers a test rate, not the real one.
+     */
+    getExchangeRate(input: Auth & {
+        currencyId: string;
+        date?: string;
+    }): Promise<WsfexExchangeRate>;
+    /** `FEXCheck_Permiso`: whether a shipping permit exists for a destination. */
+    checkPermit(input: Auth & {
+        id: string;
+        destination: number;
+    }): Promise<boolean>;
+};
+type CreateWsfexServiceOptions = {
+    config: ArcaClientConfig;
+    auth: WsaaAuthModule;
+    soap: SoapTransport;
+};
+/** Creates a WSFEX service instance wired with authentication and SOAP transport. */
+declare function createWsfexService(options: CreateWsfexServiceOptions): WsfexService;
+
+/** Factura E (19), Nota de Débito E (20) and Nota de Crédito E (21). */
+type ExportVoucherType = 19 | 20 | 21;
+/** A receiver abroad. ARCA needs `taxId`, `countryTaxId` or both (rule 1580). */
+type ExportReceiver = {
+    /** ARCA destination country, from `wsfex.getCountries()`: 203 is Brasil. */
+    country: number;
+    name: string;
+    address: string;
+    /** The receiver's tax ID in its own country. */
+    taxId?: string;
+    /** ARCA's CUIT for the receiver's country, from `wsfex.getCountryTaxIds()`. */
+    countryTaxId?: string;
+};
+/**
+ * One exported line. `unit` is an ARCA unit of measure from
+ * `wsfex.getUnits()`. Except for units 0, 97 and 99, `quantity` and
+ * `unitPrice` are required and `amount` must equal their product less
+ * `discount`. `amount` and `discount` are minor units; `amount` is negative
+ * only for unit 99, a discount line, or 97, an advance.
+ */
+type ExportItem = Pick<ItemLine, "quantity" | "unitPrice" | "discount" | "code"> & {
+    description: string;
+    unit: number;
     amount: number;
 };
-/** An already-reviewed fiscal breakdown; no recalculation of historical VAT. */
-type VoucherAmounts = {
-    net: number;
-    vat: number;
-    exempt?: number;
-    untaxed?: number;
-    vatRates?: readonly {
-        id: number;
-        base: number;
-        amount: number;
+type ExportOfGoods = {
+    kind: "goods";
+    /** An Incoterm from `wsfex.getIncoterms()`, such as `FOB`. */
+    incoterms: string;
+    incotermsDetail?: string;
+    /**
+     * The shipping permits already issued, each with its destination. Omit it
+     * while the goods have none yet: ARCA records that the permit is pending.
+     */
+    permits?: readonly {
+        id: string;
+        destination: number;
     }[];
 };
-type InvoiceFamily = "ordinary" | "retention_legend" | "fce";
-type IssuanceFields = {
-    fce?: FceOptions;
-    taxes?: readonly Tribute[];
-    amounts?: VoucherAmounts;
-    concept?: "products" | "services" | "products_and_services";
-    dueDate?: WsfeDateInput;
+type ExportOfServices = {
+    /** Services, or `other` for exports that are neither goods nor services. */
+    kind: "services" | "other";
+    /** When the receiver pays, on or after the voucher date. */
+    paymentDate: WsfeDateInput;
+};
+/**
+ * A Factura E. ARCA authorizes it through WSFEX, never WSFE: `issue()` takes
+ * this shape whenever `export` is present. The issuer's tax condition does
+ * not change the class, so there is no `issuer`.
+ */
+type ExportIssueInput = {
+    salesPoint: number;
+    to: ExportReceiver;
+    export: ExportOfGoods | ExportOfServices;
+    items: readonly ExportItem[];
+    /** The reviewed total in minor units; must equal the sum of `items`. */
+    total?: number;
+    date?: WsfeDateInput;
+    /** `ARS`, `USD`, or any ARCA currency id such as `{ id: "060" }` for euros. */
+    currency?: "ARS" | "USD" | {
+        id: string;
+    };
+    /**
+     * Pesos per unit, required for every currency but ARS. ARCA checks it
+     * against its own rate: take it from `wsfex.getExchangeRate()`.
+     */
+    exchangeRate?: string;
+    /** The receiver pays in the invoice's foreign currency (`CanMisMonExt`). */
     paidInForeignCurrency?: boolean;
-    optionalFields?: WsfeVoucherInput["optionalFields"];
-    buyers?: WsfeVoucherInput["buyers"];
-    activities?: WsfeVoucherInput["activities"];
+    /** How the receiver pays, such as "Transferencia bancaria" (`Forma_pago`). */
+    paymentTerms: string;
+    /** The language of the printed voucher; Spanish when omitted. */
+    language?: "es" | "en" | "pt";
+    observations?: string;
+    commercialObservations?: string;
 };
-type VoucherTypeInfo = {
-    family: InvoiceFamily;
-    voucherClass: VoucherClass;
-    kind: "invoice" | "debit_note" | "credit_note";
+type ExportNoteCommon = {
+    /** The authorized export voucher the note adjusts. */
+    for: VoucherCoordinates & {
+        voucherType: ExportVoucherType;
+    };
+    salesPoint?: number;
+    date?: WsfeDateInput;
+    /**
+     * Overrides the original's rate. Services notes must keep the original's
+     * rate (rule 2053), so it is refused for them.
+     */
+    exchangeRate?: string;
+    observations?: string;
+    commercialObservations?: string;
 };
-/** What an ARCA voucher type the SDK issues is. Pure; throws for any other. */
-declare function describeVoucherType(voucherType: number): VoucherTypeInfo;
-/** FCE business fields; the SDK encodes each provider's different option layout. */
-type FceOptions = {
-    cbu?: string;
-    alias?: string;
-    transfer?: "ADC" | "SCA";
-    annulment?: boolean;
-    reference?: string;
+/** A Nota de Crédito E for chosen lines, or for every line with `all`. */
+type ExportCreditNoteInput = ExportNoteCommon & ({
+    items: readonly ExportItem[];
+    all?: never;
+} | {
+    all: true;
+    items?: never;
+});
+/** A Nota de Débito E always lists what it adds. */
+type ExportDebitNoteInput = ExportNoteCommon & {
+    items: readonly ExportItem[];
+    all?: never;
 };
+/** The normalized fiscal fields of an export voucher. Dates are `YYYY-MM-DD`. */
+type ExportHeader = {
+    exportType: WsfexExportType;
+    destination: number;
+    receiverName: string;
+    receiverAddress: string;
+    receiverTaxId?: string;
+    receiverCountryTaxId?: string;
+    currencyId: string;
+    exchangeRate?: string;
+    paidInForeignCurrency?: boolean;
+    language: WsfexLanguage;
+    incoterms?: string;
+    incotermsDetail?: string;
+    /** Whether the voucher declared an issued shipping permit; absent on notes and services. */
+    permitExists?: boolean;
+    paymentTerms?: string;
+    paymentDate?: string;
+};
+type ExportIssuedVoucher = VoucherCoordinates & {
+    voucherClass: "E";
+    /** The request id (`Cmp.Id`) ARCA stored this voucher under. */
+    requestId: number;
+    date: string;
+    header: ExportHeader;
+    cae: string;
+    caeExpiry: string;
+    amounts: IssueAmounts;
+    qr?: string;
+    qrPayload?: ArcaQrPayload;
+};
+/** Raw-free consultation of one export voucher, money in minor units. */
+type ExportVoucherSummary = {
+    /** Tells an export summary apart from a WSFE or WSMTXCA one. */
+    voucherClass: "E";
+    number: number;
+    salesPoint?: number;
+    voucherType?: number;
+    requestId?: number;
+    date?: string;
+    exportType?: number;
+    destination?: number;
+    receiverName?: string;
+    receiverAddress?: string;
+    receiverTaxId?: string;
+    receiverCountryTaxId?: string;
+    currencyId?: string;
+    exchangeRate?: string;
+    totalAmount?: number;
+    result?: string;
+    cae?: string;
+    caeExpiry?: string;
+};
+type ExportPreview = {
+    voucherClass: "E";
+    voucherType: ExportVoucherType;
+    date: string;
+    header: ExportHeader;
+    amounts: IssueAmounts;
+    request: WsfexVoucherInput;
+    service: "wsfex";
+    /** The original a note adjusts. */
+    originals?: readonly ExportVoucherSummary[];
+};
+/** The outcome without `raw`, kept per kind so `reason` and `cae` survive. */
+type Evidence = (WsfexAuthorizationOutcome extends infer T ? T extends unknown ? Omit<T, "raw"> : never : never) & {
+    rawResponse?: Record<string, unknown>;
+};
+/** What `issue()` sent: the voucher with the request id and number it took. */
+type ExportIssueRequest = WsfexVoucherInput & {
+    id: number;
+    number: number;
+};
+/** `request` is always present when `include.request` is `true`. */
+/** What happened to one export attempt, before the service tag. */
+type ExportResult = {
+    kind: "authorized";
+    recoveredByMatch: false;
+    voucher: ExportIssuedVoucher;
+    authorization: Evidence;
+} | {
+    kind: "authorized";
+    recoveredByMatch: true;
+    voucher: ExportIssuedVoucher;
+    attempt: Evidence;
+    lookup: ExportVoucherSummary;
+} | {
+    kind: "rejected";
+    attempted: VoucherCoordinates;
+    issues: ArcaFiscalIssue[];
+    authorization: Evidence;
+} | {
+    kind: "indeterminate";
+    attempted: VoucherCoordinates;
+    attempt: Evidence;
+    lookup: {
+        kind: "not_found";
+    }
+    /** ARCA has this voucher but reports no approval, CAE or expiry. */
+     | {
+        kind: "incomplete";
+        reason: string;
+    } | {
+        kind: "failed";
+        error: ArcaSafeErrorMetadata;
+    } | {
+        kind: "aborted";
+    };
+} | {
+    kind: "conflict";
+    attempted: VoucherCoordinates;
+    attempt: Evidence;
+    found: ExportVoucherSummary;
+    reason: string;
+};
+/**
+ * `service: "wsfex"` tells an export outcome apart at the top level: where a
+ * result may be domestic or export, `"service" in outcome` narrows it. With
+ * `include.request: true`, `request` is always present.
+ */
+type ExportIssueOutcome<O extends IssueOptions = {
+    include?: never;
+}> = ExportResult & {
+    service: "wsfex";
+} & (O extends {
+    include: {
+        request: true;
+    };
+} ? {
+    request: ExportIssueRequest;
+} : {
+    request?: ExportIssueRequest;
+});
 
 type Receiver = {
     condition: number;
@@ -518,9 +973,15 @@ type IssueInput = IssueCommon & ({
 });
 type VoucherDateWindowInput = {
     voucherType: number;
-    /** What the voucher bills; `"products"` when omitted, as in `issue()`. */
+    /**
+     * What the voucher bills; `"products"` when omitted, as in `issue()`. For
+     * an export voucher (19, 20, 21), `"services"` is an export of services.
+     */
     concept?: NonNullable<IssuanceFields["concept"]>;
-    /** The service that will authorize it; `"wsfe"` when omitted. */
+    /**
+     * The service that will authorize it; `"wsfe"` when omitted. Omit it for
+     * an export voucher, which WSFEX always authorizes.
+     */
     service?: "wsfe" | "wsmtxca";
     /** When it will be sent; its day in Argentina anchors the window. */
     now?: Date;
@@ -589,6 +1050,21 @@ type NotePreview<S extends IssuanceService = "wsfe"> = IssuePreview<S> & {
     /** The originals consulted, in input order; absent for a period note. */
     originals?: readonly VoucherSummary[];
 };
+/** Every voucher type the WSFE and WSMTXCA facade issues, as literals. */
+type DomesticVoucherType = {
+    [F in keyof typeof FAMILIES]: (typeof FAMILIES)[F][keyof (typeof FAMILIES)[F]];
+}[keyof typeof FAMILIES][number];
+type DomesticCoordinates = VoucherCoordinates & {
+    voucherType: DomesticVoucherType;
+};
+/**
+ * A note whose original is a literal domestic type, or a list of originals,
+ * which are always domestic. Only a `voucherType` typed as plain `number` may
+ * hold 19 to 21 at run time, so only that input gets the result union.
+ */
+type DomesticNote<T> = T & {
+    for?: DomesticCoordinates | readonly VoucherCoordinates[];
+};
 type RecoveryOptions = Pick<IssueOptions, "representedTaxId" | "forceRefresh" | "include" | "abortSignal">;
 type VouchersService = {
     /**
@@ -596,7 +1072,17 @@ type VouchersService = {
      * credit note's `for` takes. Returns `null` when ARCA has no such voucher and
      * throws on any other provider error. Reads only: no store and no reserve.
      */
-    lookup(voucher: VoucherCoordinates, options?: PreviewOptions): Promise<VoucherSummary | null>;
+    lookup: {
+        (voucher: VoucherCoordinates & {
+            voucherType: ExportVoucherType;
+        }, options?: PreviewOptions): Promise<ExportVoucherSummary | null>;
+        (voucher: DomesticCoordinates, options?: PreviewOptions): Promise<VoucherSummary | null>;
+        /**
+         * A `voucherType` typed as plain `number` may hold 19 to 21 at run time,
+         * so its answer may be an export summary: narrow on `voucherClass`.
+         */
+        (voucher: VoucherCoordinates, options?: PreviewOptions): Promise<VoucherSummary | ExportVoucherSummary | null>;
+    };
     /**
      * The number of the last voucher ARCA authorized for a sales point and
      * voucher type, on WSFE or WSMTXCA; `0` when none was ever authorized.
@@ -606,29 +1092,61 @@ type VouchersService = {
     recover<O extends RecoveryOptions = {
         include?: never;
     }>(idempotencyKey: string, options?: O): Promise<IssueOutcome<O & {
-        service?: IssuanceService;
-    }>>;
+        service?: "wsfe" | "wsmtxca";
+    }> | ExportIssueOutcome<O>>;
     /**
      * Issues a debit note against the same originals `issueCreditNote()` accepts,
      * or against a period with `associatedPeriod`. It has no `all: true` mode:
      * a debit note adds to the account, so its lines are always explicit.
      */
-    issueDebitNote<O extends IssueOptions = {
-        include?: never;
-    }>(input: DebitNoteInput, options?: O): Promise<IssueOutcome<O>>;
+    issueDebitNote: {
+        <O extends IssueOptions = {
+            include?: never;
+        }>(input: ExportDebitNoteInput, options?: O): Promise<ExportIssueOutcome<O>>;
+        <O extends IssueOptions = {
+            include?: never;
+        }>(input: DomesticNote<DebitNoteInput>, options?: O): Promise<IssueOutcome<O>>;
+        /**
+         * A `for.voucherType` typed as plain `number` may hold 19 to 21 at run
+         * time, so the result may be an export one: narrow with `"service" in outcome`.
+         */
+        <O extends IssueOptions = {
+            include?: never;
+        }>(input: DebitNoteInput, options?: O): Promise<IssueOutcome<O> | ExportIssueOutcome<O>>;
+    };
     /**
      * Derives what issueCreditNote() would send. Unlike the zero-I/O preview(),
      * it consults each original once: reads only, no write and no number
      * reserved. A linked note returns those raw-free originals in `originals`. A
      * period note carries its own business input and needs no lookup at all.
      */
-    previewCreditNote<O extends PreviewOptions = {
-        service?: never;
-    }>(input: CreditNoteInput | PeriodNoteInput, options?: O): Promise<NotePreview<ServiceFor<O>>>;
+    previewCreditNote: {
+        (input: ExportCreditNoteInput, options?: PreviewOptions): Promise<ExportPreview>;
+        <O extends PreviewOptions = {
+            service?: never;
+        }>(input: DomesticNote<CreditNoteInput | PeriodNoteInput>, options?: O): Promise<NotePreview<ServiceFor<O>>>;
+        /**
+         * A `for.voucherType` typed as plain `number` may hold 19 to 21 at run
+         * time, so the preview may be an export one: narrow on `voucherClass`.
+         */
+        <O extends PreviewOptions = {
+            service?: never;
+        }>(input: CreditNoteInput | PeriodNoteInput, options?: O): Promise<NotePreview<ServiceFor<O>> | ExportPreview>;
+    };
     /** Same contract as previewCreditNote(), for issueDebitNote() input. */
-    previewDebitNote<O extends PreviewOptions = {
-        service?: never;
-    }>(input: DebitNoteInput, options?: O): Promise<NotePreview<ServiceFor<O>>>;
+    previewDebitNote: {
+        (input: ExportDebitNoteInput, options?: PreviewOptions): Promise<ExportPreview>;
+        <O extends PreviewOptions = {
+            service?: never;
+        }>(input: DomesticNote<DebitNoteInput>, options?: O): Promise<NotePreview<ServiceFor<O>>>;
+        /**
+         * A `for.voucherType` typed as plain `number` may hold 19 to 21 at run
+         * time, so the preview may be an export one: narrow on `voucherClass`.
+         */
+        <O extends PreviewOptions = {
+            service?: never;
+        }>(input: DebitNoteInput, options?: O): Promise<NotePreview<ServiceFor<O>> | ExportPreview>;
+    };
     /**
      * Issues a credit note against an authorized invoice or debit note of the
      * ordinary, retention-legend or FCE families, or against a period with
@@ -641,9 +1159,21 @@ type VouchersService = {
      * and every one is associated to the note. ARCA has no cancellation; every
      * mode writes a real fiscal document.
      */
-    issueCreditNote<O extends IssueOptions = {
-        include?: never;
-    }>(input: CreditNoteInput | PeriodNoteInput, options?: O): Promise<IssueOutcome<O>>;
+    issueCreditNote: {
+        <O extends IssueOptions = {
+            include?: never;
+        }>(input: ExportCreditNoteInput, options?: O): Promise<ExportIssueOutcome<O>>;
+        <O extends IssueOptions = {
+            include?: never;
+        }>(input: DomesticNote<CreditNoteInput | PeriodNoteInput>, options?: O): Promise<IssueOutcome<O>>;
+        /**
+         * A `for.voucherType` typed as plain `number` may hold 19 to 21 at run
+         * time, so the result may be an export one: narrow with `"service" in outcome`.
+         */
+        <O extends IssueOptions = {
+            include?: never;
+        }>(input: CreditNoteInput | PeriodNoteInput, options?: O): Promise<IssueOutcome<O> | ExportIssueOutcome<O>>;
+    };
     /**
      * Configure a store and pass idempotencyKey to recover retries after a crash.
      *
@@ -651,9 +1181,14 @@ type VouchersService = {
      * Keyed replay consults the reserved number; only not_found permits a write.
      * Local validation and next-number read failures throw before authorization.
      */
-    issue<O extends IssueOptions = {
-        include?: never;
-    }>(input: IssueInput, options?: O): Promise<IssueOutcome<O>>;
+    issue: {
+        <O extends IssueOptions = {
+            include?: never;
+        }>(input: ExportIssueInput, options?: O): Promise<ExportIssueOutcome<O>>;
+        <O extends IssueOptions = {
+            include?: never;
+        }>(input: IssueInput, options?: O): Promise<IssueOutcome<O>>;
+    };
     /**
      * Derives what issue() would send for the same input, with no I/O at all:
      * no store, no WSAA, no SOAP and no next-number read.
@@ -661,9 +1196,12 @@ type VouchersService = {
      * It throws every input error issue() throws before its first call, so a
      * caller that previews and then issues sees no new local error.
      */
-    preview<O extends Pick<PreviewOptions, "representedTaxId" | "service"> = {
-        service?: never;
-    }>(input: IssueInput, options?: O): IssuePreview<ServiceFor<O>>;
+    preview: {
+        (input: ExportIssueInput, options?: Pick<PreviewOptions, "representedTaxId">): ExportPreview;
+        <O extends Pick<PreviewOptions, "representedTaxId" | "service"> = {
+            service?: never;
+        }>(input: IssueInput, options?: O): IssuePreview<ServiceFor<O>>;
+    };
 };
 type PreviewOptions = {
     representedTaxId?: number | string;
@@ -702,6 +1240,8 @@ type ArcaClient = {
     /** The last number ARCA authorized for a sales point and type; `0` when none. */
     lastAuthorized: VouchersService["lastAuthorized"];
     wsfe: WsfeService;
+    /** WSFEX, ARCA's export service: its reference tables and exchange rates. */
+    wsfex: WsfexService;
     wsmtxca: WsmtxcaService;
     padron: PadronService;
 };
@@ -710,11 +1250,11 @@ type ArcaClient = {
  * Validates the config, wires WSAA authentication and SOAP transport,
  * and returns an object with `issue()`, `preview()`, `issueCreditNote()`,
  * `issueDebitNote()`, `previewCreditNote()`, `previewDebitNote()`, `recover()`,
- * `lookup()`, `lastAuthorized()` and the `.wsfe`, `.wsmtxca`, and `.padron`
- * service modules.
+ * `lookup()`, `lastAuthorized()` and the `.wsfe`, `.wsfex`, `.wsmtxca`, and
+ * `.padron` service modules.
  *
  * @throws {ArcaConfigurationError} When the config is missing or invalid.
  */
 declare function createArcaClient(config?: ArcaClientOptions): ArcaClient;
 
-export { type ArcaClient as A, type WsmtxcaLine as B, type CreditNoteInput as C, type DebitNoteInput as D, arcaQrPayload as E, type FceOptions as F, arcaQrUrl as G, createArcaClient as H, type InvoiceFamily as I, describeVoucherType as J, matchWsfeVoucherIdentity as K, voucherDateWindow as L, type NotePreview as N, type PeriodNoteInput as P, type Receiver as R, type Tribute as T, type VatItem as V, type WsfeIdentityMatch as W, ARCA_QR_URL as a, type AmountItem as b, type ArcaClientConfigView as c, type ArcaQrInput as d, type ArcaQrPayload as e, type FiscalHeader as f, type IssuanceFields as g, type IssueAmounts as h, type IssueCommon as i, type IssueInput as j, type IssueOptions as k, type IssueOutcome as l, type IssuePreview as m, type IssueRequest as n, type IssuedVoucher as o, type ItemLine as p, type PreviewOptions as q, type RecoveryOptions as r, type VatRate as s, type VoucherAmounts as t, type VoucherCoordinates as u, type VoucherDateWindowInput as v, type VoucherSummary as w, type VoucherTypeInfo as x, type VouchersService as y, type WsmtxcaIssueRequest as z };
+export { type WsfexCatalogEntry as $, type ArcaClient as A, type IssuePreview as B, type CreateWsfexServiceOptions as C, type DebitNoteInput as D, type ExportCreditNoteInput as E, type FceOptions as F, type IssueRequest as G, type IssuedVoucher as H, type InvoiceFamily as I, type ItemLine as J, type PreviewOptions as K, type RecoveryOptions as L, type VatRate as M, type NotePreview as N, type VoucherAmounts as O, type PeriodNoteInput as P, type VoucherCoordinates as Q, type Receiver as R, type VoucherDateWindowInput as S, type Tribute as T, type VoucherSummary as U, type VatItem as V, type VoucherTypeInfo as W, type VouchersService as X, type WsfeIdentityMatch as Y, type WsfexAssociatedVoucher as Z, type WsfexAuthorizationOutcome as _, ARCA_QR_URL as a, type WsfexCountryTaxId as a0, type WsfexExchangeRate as a1, type WsfexExportType as a2, type WsfexIssueInput as a3, type WsfexItem as a4, type WsfexLanguage as a5, type WsfexPermit as a6, type WsfexSalesPoint as a7, type WsfexService as a8, type WsfexVoucherInfo as a9, type WsfexVoucherInput as aa, type WsfexVoucherLookupResult as ab, type WsfexVoucherType as ac, type WsmtxcaIssueRequest as ad, type WsmtxcaLine as ae, arcaQrPayload as af, arcaQrUrl as ag, createArcaClient as ah, createWsfexService as ai, describeVoucherType as aj, matchWsfeVoucherIdentity as ak, voucherDateWindow as al, type AmountItem as b, type ArcaClientConfigView as c, type ArcaQrInput as d, type ArcaQrPayload as e, type CreditNoteInput as f, type ExportDebitNoteInput as g, type ExportHeader as h, type ExportIssueInput as i, type ExportIssueOutcome as j, type ExportIssueRequest as k, type ExportIssuedVoucher as l, type ExportItem as m, type ExportOfGoods as n, type ExportOfServices as o, type ExportPreview as p, type ExportReceiver as q, type ExportVoucherSummary as r, type ExportVoucherType as s, type FiscalHeader as t, type IssuanceFields as u, type IssueAmounts as v, type IssueCommon as w, type IssueInput as x, type IssueOptions as y, type IssueOutcome as z };